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

Logic in Computer Science

Authors and titles for cs.LO in Sep 2018

[ total of 76 entries: 1-25 | 26-50 | 51-75 | 76 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:1809.00134 [pdf, other]
Title: The Data Complexity of Ontology-Mediated Queries with Closed Predicates
Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 3 (August 28, 2019) lmcs:5723
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:1809.00167 [pdf, ps, other]
Title: Linear Temporal Justification Logics with Past Operators
Authors: Meghdad Ghari
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:1809.00503 [pdf, ps, other]
Title: Improving Convergence Rate Of IC3
Authors: Eugene Goldberg
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:1809.00508 [pdf, other]
Title: A logic-algebraic tool for reasoning with Knowledge-Based Systems
Comments: 41 pages, 7 figures. To appear in Journal of Logical and Algebraic Methods in Programming
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:1809.00559 [pdf, other]
Title: Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs
Authors: Yves Bertot (MARELLE)
Journal-ref: International Colloquium on Theoretical of Computing (ICTAC), Oct 2018, Stellenbosch, South Africa
Subjects: Logic in Computer Science (cs.LO); Computational Geometry (cs.CG)
[6]  arXiv:1809.00772 [pdf, ps, other]
Title: A characterization of the consistent Hoare powerdomains over dcpos
Comments: 6 pages, a direct characterization
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:1809.01103 [pdf, other]
Title: An automatic tool for checking multi-party contracts
Comments: 28 pages, 26 figures, 3 tables, 2 algorithms
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[8]  arXiv:1809.02416 [html]
Title: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification
Authors: Andrea Orlandini (National Research Council of Italy), Martin Zimmermann (Saarland University)
Journal-ref: EPTCS 277, 2018
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[9]  arXiv:1809.02659 [pdf, other]
Title: Revisiting Call-by-value Böhm trees in light of their Taylor expansion
Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 3 (July 15, 2020) lmcs:6638
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:1809.02781 [pdf, other]
Title: Affine Sessions
Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 4 (November 15, 2018) lmcs:4973
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[11]  arXiv:1809.02941 [pdf, ps, other]
Title: Well Quasiorders and Hierarchy Theory
Authors: Victor Selivanov
Comments: 37 pages
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:1809.03094 [pdf, other]
Title: Classical Proofs as Parallel Programs
Authors: Federico Aschieri (TU Wien), Agata Ciabattoni (TU Wien), Francesco Antonio Genco (TU Wien)
Comments: In Proceedings GandALF 2018, arXiv:1809.02416. arXiv admin note: text overlap with arXiv:1607.05120
Journal-ref: EPTCS 277, 2018, pp. 43-57
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:1809.03095 [pdf, other]
Title: A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
Authors: Éric Goubault (École Polytechnique), Jérémy Ledent (École Polytechnique), Sergio Rajsbaum (UNAM)
Comments: In Proceedings GandALF 2018, arXiv:1809.02416
Journal-ref: EPTCS 277, 2018, pp. 73-87
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)
[14]  arXiv:1809.03097 [pdf, ps, other]
Title: A Comparison of BDD-Based Parity Game Solvers
Comments: In Proceedings GandALF 2018, arXiv:1809.02416
Journal-ref: EPTCS 277, 2018, pp. 103-117
Subjects: Logic in Computer Science (cs.LO)
[15]  arXiv:1809.03099 [pdf, ps, other]
Title: Parameterized Verification of Coverability in Well-Structured Broadcast Networks
Authors: A.R. Balasubramanian (Chennai Mathematical Institute)
Comments: In Proceedings GandALF 2018, arXiv:1809.02416
Journal-ref: EPTCS 277, 2018, pp. 133-146
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)
[16]  arXiv:1809.03100 [pdf, ps, other]
Title: Temporal Logic and Model Checking for Operator Precedence Languages
Authors: Michele Chiari (DEIB, Politecnico di Milano), Dino Mandrioli (DEIB, Politecnico di Milano), Matteo Pradella (DEIB, Politecnico di Milano, and IEIIT, Consiglio Nazionale delle Ricerche)
Comments: In Proceedings GandALF 2018, arXiv:1809.02416
Journal-ref: EPTCS 277, 2018, pp. 161-175
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:1809.03101 [pdf, other]
Title: One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past
Authors: Luca Geatti (University of Udine, Italy), Nicola Gigante (University of Udine, Italy), Angelo Montanari (University of Udine, Italy), Mark Reynolds (University of Western Australia)
Comments: In Proceedings GandALF 2018, arXiv:1809.02416
Journal-ref: EPTCS 277, 2018, pp. 176-190
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:1809.03103 [pdf, other]
Title: Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
Authors: Laura Bozzelli (University of Napoli Federico II, Italy), Alberto Molinari (University of Udine, Italy), Angelo Montanari (University of Udine, Italy), Adriano Peron (University of Napoli Federico II, Italy)
Comments: In Proceedings GandALF 2018, arXiv:1809.02416
Journal-ref: EPTCS 277, 2018, pp. 191-205
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[19]  arXiv:1809.03104 [pdf, other]
Title: On Computing the Measures of First-Order Definable Sets of Trees
Comments: In Proceedings GandALF 2018, arXiv:1809.02416
Journal-ref: EPTCS 277, 2018, pp. 206-219
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[20]  arXiv:1809.03106 [pdf, other]
Title: On Finding a First-Order Sentence Consistent with a Sample of Strings
Authors: Thiago Alves Rocha (Federal Institute of Ceará), Ana Teresa Martins (Federal University of Ceará), Francicleber Martins Ferreira (Federal University of Ceará)
Comments: In Proceedings GandALF 2018, arXiv:1809.02416
Journal-ref: EPTCS 277, 2018, pp. 220-234
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:1809.03107 [pdf, other]
Title: Multi-weighted Markov Decision Processes with Reachability Objectives
Comments: In Proceedings GandALF 2018, arXiv:1809.02416
Journal-ref: EPTCS 277, 2018, pp. 250-264
Subjects: Logic in Computer Science (cs.LO)
[22]  arXiv:1809.03162 [pdf, ps, other]
Title: A case study in formal verification of a Java program
Comments: Written in August 2016
Subjects: Logic in Computer Science (cs.LO)
[23]  arXiv:1809.03245 [pdf, other]
Title: Finite Satisfiability of Unary Negation Fragment with Transitivity
Comments: Accepted for MFCS 2019
Subjects: Logic in Computer Science (cs.LO)
[24]  arXiv:1809.03254 [pdf, other]
Title: Elementary Multimodal Logics
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:1809.03262 [pdf, other]
Title: Model Theory of Monadic Predicate Logic with the Infinity Quantifier
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[ total of 76 entries: 1-25 | 26-50 | 51-75 | 76 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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