We gratefully acknowledge support from
the Simons Foundation
and member institutions

Logic in Computer Science

Authors and titles for recent submissions

[ total of 16 entries: 1-16 ]
[ showing up to 25 entries per page: fewer | more ]

Wed, 13 Dec 2017

[1]  arXiv:1712.04375 [pdf, other]
Title: Computational Logic: Its Origins and Applications
Comments: under consideration by Proceedings of the Royal Society Series A
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:1712.04162 [pdf, other]
Title: Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals
Subjects: Logic in Computer Science (cs.LO)

Tue, 12 Dec 2017

[3]  arXiv:1712.03829 [pdf, ps, other]
Title: Inhabitation for Non-idempotent Intersection Types
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:1712.03759 [pdf, ps, other]
Title: Infinite and Bi-infinite Words with Decidable Monadic Theories
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[5]  arXiv:1712.03626 [pdf, ps, other]
Title: Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:1712.03502 [pdf, ps, other]
Title: Equivalence of Intuitionistic Inductive Definitions and Intuitionistic Cyclic Proofs under Arithmetic
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

Mon, 11 Dec 2017

[7]  arXiv:1712.02872 [pdf, other]
Title: Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking
Subjects: Logic in Computer Science (cs.LO)

Thu, 7 Dec 2017

[8]  arXiv:1712.01980 [pdf, ps, other]
Title: Semiring Provenance for First-Order Model Checking
Comments: 20 pages
Subjects: Logic in Computer Science (cs.LO)

Wed, 6 Dec 2017

[9]  arXiv:1712.01800 [pdf, ps, other]
Title: Computational Higher Type Theory III: Univalent Universes and Exact Equality
Comments: 71 pages
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:1712.01734 [pdf, ps, other]
Title: Partial Predicate Abstraction and Counter-Example Guided Refinement
Authors: Tuba Yavuz
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[11]  arXiv:1712.01631 [pdf, ps, other]
Title: Revisiting concurrent separation logic
Journal-ref: Journal of Logical and Algebraic Methods in Programming, Volume 89, 2017, Pages 41-66
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:1712.01489 [pdf, other]
Title: Alignment-based Translations Across Formal Systems Using Interface Theories
Authors: Dennis Müller (Computer Science, FAU Erlangen-Nürnberg), Colin Rothgang (Mathematics, Jacobs University Bremen), Yufei Liu (Mathematics, Jacobs University Bremen), Florian Rabe (Computer Science, Jacobs University Bremen)
Comments: In Proceedings PxTP 2017, arXiv:1712.00898
Journal-ref: EPTCS 262, 2017, pp. 77-93
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:1712.01488 [pdf, other]
Title: Determinism in the Certification of UNSAT Proofs
Authors: Tomer Libal (Inria, Paris), Xaviera Steele (American University of Paris)
Comments: In Proceedings PxTP 2017, arXiv:1712.00898
Journal-ref: EPTCS 262, 2017, pp. 55-76
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[14]  arXiv:1712.01487 [pdf, other]
Title: Counter Simulations via Higher Order Quantifier Elimination: a preliminary report
Authors: Silvio Ghilardi (Università degli Studi di Milano), Elena Pagani (Università degli Studi di Milano)
Comments: In Proceedings PxTP 2017, arXiv:1712.00898
Journal-ref: EPTCS 262, 2017, pp. 39-53
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[15]  arXiv:1712.01486 [pdf, ps, other]
Title: Language and Proofs for Higher-Order SMT (Work in Progress)
Authors: Haniel Barbosa (University of Lorraine, CNRS, Inria, and LORIA), Jasmin Christian Blanchette (University of Lorraine, CNRS, Inria, and LORIA, Vrije Universiteit Amsterdam, Max-Planck-Institut für Informatik), Simon Cruanes (University of Lorraine, CNRS, Inria, and LORIA), Daniel El Ouraoui (University of Lorraine, CNRS, Inria, and LORIA), Pascal Fontaine (University of Lorraine, CNRS, Inria, and LORIA)
Comments: In Proceedings PxTP 2017, arXiv:1712.00898
Journal-ref: EPTCS 262, 2017, pp. 15-22
Subjects: Logic in Computer Science (cs.LO)
[16]  arXiv:1712.01485 [pdf, ps, other]
Title: Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems
Authors: Gilles Dowek (Inria and École Normale Supérieure de Paris-Saclay)
Comments: In Proceedings PxTP 2017, arXiv:1712.00898
Journal-ref: EPTCS 262, 2017, pp. 3-12
Subjects: Logic in Computer Science (cs.LO)
[ total of 16 entries: 1-16 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)