Cover Image

Saved in:
Bibliographic Details
Main Authors: Brady, Zarathustra, Đapić, Petar, Marković, Petar, Prokić, Aleksandar, Uljarević, Vlado
Format: Preprint
Published: 2026
Subjects:
Logic
08A05 (Primary) 08B05, 08A70, 68Q17 (Secondary)
Online Access:https://arxiv.org/abs/2604.05231
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2604.05231

Similar Items