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

Logic in Computer Science

Authors and titles for recent submissions, skipping first 7

[ total of 40 entries: 1-5 | 3-7 | 8-12 | 13-17 | 18-22 | 23-27 | ... | 38-40 ]
[ showing 5 entries per page: fewer | more | all ]

Fri, 3 May 2024 (continued, showing last 2 of 9 entries)

[8]  arXiv:2405.00912 (cross-list from cs.SC) [pdf, other]
Title: Unification in the description logic $\mathcal{FL}_\bot$
Authors: Barbara Morawska
Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)
[9]  arXiv:2405.00687 (cross-list from cs.RO) [pdf, other]
Title: Optimal Planning for Timed Partial Order Specifications
Authors: Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
Comments: 2024 IEEE International Conference on Robotics and Automation
Subjects: Robotics (cs.RO); Logic in Computer Science (cs.LO)

Thu, 2 May 2024 (showing first 3 of 7 entries)

[10]  arXiv:2405.00480 [pdf, ps, other]
Title: Better Bounded Bisimulation Contractions (Preprint)
Authors: Thomas Bolander, Alessandro Burigana
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2405.00440 [pdf, ps, other]
Title: Intersection Types via Finite-Set Declarations
Authors: Fairouz Kamareddine, Joe Wells
Comments: To appear in Wollic 2024
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[12]  arXiv:2405.00237 [pdf, ps, other]
Title: A Categorical Approach to Coalgebraic Fixpoint Logic
Authors: Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
Subjects: Logic in Computer Science (cs.LO)
[ total of 40 entries: 1-5 | 3-7 | 8-12 | 13-17 | 18-22 | 23-27 | ... | 38-40 ]
[ showing 5 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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