Logic in Computer Science

Authors and titles for recent submissions

[ total of 32 entries: 1-5 | 6-10 | 11-15 | 16-20 | ... | 31-32 ]
[ showing 5 entries per page: fewer | more | all ]

[1] arXiv:2405.10308 [pdf, ps, other]: Title: Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas

Authors: Eden Frenkel, Tej Chaged, Oded Padon, Sharon Shoham

Subjects: Logic in Computer Science (cs.LO)
[2] arXiv:2405.10152 [pdf, ps, other]: Title: Braids, twists, trace and duality in combinatory algebras

Authors: Masahito Hasegawa, Serge Lechenne

Comments: 32 pages. To appear in Proc. 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '24)

Subjects: Logic in Computer Science (cs.LO)
[3] arXiv:2405.10149 [pdf, other]: Title: Delooping cyclic groups with lens spaces in homotopy type theory

Authors: Samuel Mimram, Émile Oleon

Subjects: Logic in Computer Science (cs.LO); Algebraic Topology (math.AT)
[4] arXiv:2405.10099 [pdf, other]: Title: Compositional Value Iteration with Pareto Caching

Authors: Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo

Comments: Extended version (includes the Appendix) of the paper accepted at CAV-24

Subjects: Logic in Computer Science (cs.LO)
[5] arXiv:2405.10094 [pdf, other]: Title: Decidability of Quasi-Dense Modal Logics

Authors: Piotr Ostropolski-Nalewaja, Tim S. Lyon

Comments: preprint; accepted to LICS 2024

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[ total of 32 entries: 1-5 | 6-10 | 11-15 | 16-20 | ... | 31-32 ]
[ showing 5 entries per page: fewer | more | all ]