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

Logic in Computer Science

Authors and titles for cs.LO in May 2021, skipping first 30

[ total of 135 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | 51-60 | 61-70 | ... | 131-135 ]
[ showing 10 entries per page: fewer | more | all ]
[31]  arXiv:2105.06194 [pdf, other]
Title: Geometric Model Checking of Continuous Space
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Graphics (cs.GR)
[32]  arXiv:2105.06202 [pdf, ps, other]
Title: Deciding FO-definability of regular languages
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[33]  arXiv:2105.06244 [pdf, other]
Title: A Graphical Calculus for Lagrangian Relations
Subjects: Logic in Computer Science (cs.LO); Mathematical Physics (math-ph); Category Theory (math.CT); Quantum Physics (quant-ph)
[34]  arXiv:2105.06575 [pdf, other]
Title: Merit and Blame Assignment with Kind 2
Subjects: Logic in Computer Science (cs.LO)
[35]  arXiv:2105.06690 [pdf, other]
Title: On Bisimilarities for Closure Spaces - Preliminary Version
Subjects: Logic in Computer Science (cs.LO)
[36]  arXiv:2105.06723 [pdf, other]
Title: Bounded Reachability Problems are Decidable in FIFO Machines
Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 20, 2022) lmcs:8992
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[37]  arXiv:2105.06744 [pdf, other]
Title: A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm
Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 4 (December 13, 2021) lmcs:8832
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[38]  arXiv:2105.06787 [pdf, ps, other]
Title: Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[39]  arXiv:2105.06908 [pdf, ps, other]
Title: From Multisets over Distributions to Distributions over Multisets
Authors: Bart Jacobs
Subjects: Logic in Computer Science (cs.LO)
[40]  arXiv:2105.07531 [pdf, ps, other]
Title: First-Order Reasoning and Efficient Semi-Algebraic Proofs
Comments: A preliminary version of this work appears in 36th Ann. Symp. Logic Comput. Science (LICS) 2021
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[ total of 135 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | 51-60 | 61-70 | ... | 131-135 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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