We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for recent submissions, skipping first 26

[ total of 33 entries: 1-25 | 2-26 | 27-33 ]
[ showing 25 entries per page: fewer | more | all ]

Fri, 19 Apr 2024

[27]  arXiv:2404.12229 [pdf, other]
Title: A minimal base or a direct base? That is the question!
Authors: Jaume Baixeries, Amedeo Napoli
Subjects: Logic in Computer Science (cs.LO)
[28]  arXiv:2404.12048 [pdf, other]
Title: Symbolic Computation for All the Fun
Authors: Chad E. Brown, Mikoláš Janota, Mirek Olšák
Subjects: Logic in Computer Science (cs.LO)
[29]  arXiv:2404.11841 [pdf, ps, other]
Title: On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
Authors: Lijie Chen, Jiatu Li, Igor C. Oliveira
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[30]  arXiv:2404.12035 (cross-list from cs.SE) [pdf, ps, other]
Title: Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
Authors: Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[31]  arXiv:2404.11744 (cross-list from cs.AI) [pdf, other]
Title: Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
Authors: Luca Buoncompagni, Fulvio Mastrogiovanni
Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO); Robotics (cs.RO)
[32]  arXiv:2404.11709 (cross-list from cs.CC) [pdf, ps, other]
Title: Satisfiability of commutative vs. non-commutative CSPs
Authors: Andrei A. Bulatov, Stanislav Živný
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

Thu, 18 Apr 2024

[33]  arXiv:2404.11445 [pdf, ps, other]
Title: Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
Authors: Carlos Olarte, Elaine Pimentel
Subjects: Logic in Computer Science (cs.LO)
[ total of 33 entries: 1-25 | 2-26 | 27-33 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2404, contact, help  (Access key information)