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

Logic in Computer Science

Authors and titles for cs.LO in Aug 2020

[ total of 118 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-118 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2008.00075 [pdf, other]
Title: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
Comments: Accepted for publication in the Journal of Logic, Language, and Information
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[2]  arXiv:2008.00420 [pdf, ps, other]
Title: Forbidden Induced Subgraphs and the Łoś-Tarski Theorem
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2008.00421 [pdf, ps, other]
Title: Concolic Testing in CLP
Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages
Journal-ref: Theory and Practice of Logic Programming 20 (2020) 671-686
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[4]  arXiv:2008.00583 [pdf, other]
Title: Decision problems for linear recurrences involving arbitrary real numbers
Authors: Eike Neumann
Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 3 (August 10, 2021) lmcs:8346
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2008.00724 [pdf, ps, other]
Title: A lemma on closures and its application to modularity in logic programming semantics
Authors: Michael J. Maher
Comments: 12 pages
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:2008.01050 [pdf, other]
Title: Implicit automata in typed $λ$-calculi II: streaming transducers vs categorical semantics
Comments: 108 pages, 23 figures. Theorem 3.53 was wrong in previous versions. This is corrected and a more detailed proof is provided in a new appendix. Miscellaneous minor typos were also corrected
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[7]  arXiv:2008.01387 [pdf, ps, other]
Title: Trace Logic for Inductive Loop Reasoning
Comments: Related Version: A compact, peer-reviewed version of this paper will be available in the conference proceedings of Formal Methods of Computer-Aided Design (FMCAD) 2020
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[8]  arXiv:2008.02015 [pdf, ps, other]
Title: Modular Answer Set Programming as a Formal Specification Language
Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages
Journal-ref: Theory and Practice of Logic Programming 20 (2020) 767-782
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[9]  arXiv:2008.02018 [pdf, ps, other]
Title: eclingo: A solver for Epistemic Logic Programs
Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[10]  arXiv:2008.02025 [pdf, ps, other]
Title: Verifying Tight Logic Programs with anthem and Vampire
Comments: Paper submitted to the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages (main part), 12 pages (appendix)
Journal-ref: Theory and Practice of Logic Programming 20 (2020) 735-750
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[11]  arXiv:2008.02123 [pdf, ps, other]
Title: Extensional equality preservation and verified generic programming
Comments: Accepted for publication in the "Journal of Functional Programming" in August 2021
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:2008.02138 [pdf, ps, other]
Title: Proof complexity and the binary encoding of combinatorial principles
Comments: arXiv admin note: substantial text overlap with arXiv:1809.02843, arXiv:1911.00403
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[13]  arXiv:2008.02143 [pdf, ps, other]
Title: On the correctness of monadic backward induction
Comments: Accepted for publication in the "Journal of Functional Programming" in Sept. 2021
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:2008.02429 [pdf, ps, other]
Title: Foundations of Reasoning with Uncertainty via Real-valued Logics
Comments: 9 pages (incl. references), 9 pages supplementary. Submitted to NeurIPS 2020
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[15]  arXiv:2008.02483 [html]
Title: Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
Authors: Laurent Fribourg (CNRS & ENS Paris-Saclay, France), Matthias Heizmann (University of Freiburg, Germany)
Journal-ref: EPTCS 320, 2020
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)
[16]  arXiv:2008.02665 [pdf, other]
Title: On the Taylor expansion of $λ$-terms and the groupoid structure of their rigid approximants
Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 6, 2022) lmcs:8916
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:2008.02857 [pdf, ps, other]
Title: Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
Comments: This is a revised and corrected version of the publication "Bisimulation and bisimilarity for fuzzy description logics under the G\"odel semantics", Fuzzy Sets and Systems 388: 146-178 (2020)
Journal-ref: Fuzzy Sets and Systems 388: 146-178 (2020)
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:2008.02927 [pdf, ps, other]
Title: A Historical Account of My Early Research Interests
Authors: Alberto Pettorossi (University of Rome Tor Vergata, Rome, Italy)
Comments: In Proceedings VPT/HCVS 2020, arXiv:2008.02483
Journal-ref: EPTCS 320, 2020, pp. 1-28
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[19]  arXiv:2008.02929 [pdf, ps, other]
Title: From Well Structured Transition Systems to Program Verification
Authors: Alain Finkel (Universite Paris-Saclay, ENS Paris-Saclay, CNRS)
Comments: In Proceedings VPT/HCVS 2020, arXiv:2008.02483
Journal-ref: EPTCS 320, 2020, pp. 44-49
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[20]  arXiv:2008.02934 [pdf, ps, other]
Title: Transformational Verification of Quicksort
Authors: Emanuele De Angelis (CNR-IASI, Rome, Italy), Fabio Fioravanti (DEC, University "G. d'Annunzio" of Chieti-Pescara, Italy), Maurizio Proietti (CNR-IASI, Rome, Italy)
Comments: In Proceedings VPT/HCVS 2020, arXiv:2008.02483
Journal-ref: EPTCS 320, 2020, pp. 95-109
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[21]  arXiv:2008.02936 [pdf, other]
Title: Distilling Programs to Prove Termination
Authors: G.W. Hamilton (Dublin City University)
Comments: In Proceedings VPT/HCVS 2020, arXiv:2008.02483. This work owes a lot to the input of Neil Jones, who provided many useful insights and ideas on the subject matter presented here
Journal-ref: EPTCS 320, 2020, pp. 140-154
Subjects: Logic in Computer Science (cs.LO)
[22]  arXiv:2008.02939 [pdf, other]
Title: Competition Report: CHC-COMP-20
Authors: Philipp Rümmer (Uppsala University, Sweden)
Comments: In Proceedings VPT/HCVS 2020, arXiv:2008.02483
Journal-ref: EPTCS 320, 2020, pp. 197-219
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[23]  arXiv:2008.03103 [pdf, other]
Title: Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[24]  arXiv:2008.03115 [pdf, other]
Title: Approximating Constraint Satisfaction Problems Symmetrically
Comments: 91 pages, 6 figures, master's thesis
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[25]  arXiv:2008.03489 [pdf, other]
Title: Craig Interpolation with Clausal First-Order Tableaux
Comments: This article supersedes the first part (sections 1-8) of arXiv:1802.04982
Subjects: Logic in Computer Science (cs.LO)
[ total of 118 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-118 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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