Logic in Computer Science

Authors and titles for cs.LO in Oct 2020

[1]  arXiv:2010.00296 [pdf, other]

Title: Erratum to "Frequency Linear-time Temporal Logic"

Authors: Benedikt Bollig, Normann Decker, Martin Leucker

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:2010.00791 [pdf, ps, other]

Title: A recursion theoretic foundation of computation over real numbers

Authors: Keng Meng Ng, Nazanin R. Tavana, Yue Yang

Subjects: Logic in Computer Science (cs.LO)

[3]  arXiv:2010.00811 [pdf, other]

Title: Combining Weak Distributive Laws: Application to Up-To Techniques

Authors: Alexandre Goy, Daniela Petrisan

Comments: 23 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO)

[4]  arXiv:2010.00825 [pdf, ps, other]

Title: The Complexity of Boolean State Separation (Technical Report)

Authors: Ronny Tredup, Evgeny Erofeev

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[5]  arXiv:2010.01943 [pdf, ps, other]

Title: Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?

Authors: Luca Aceto, Valentina Castiglioni, Wan Fokkink, Anna Igolfsdottir, Bas Luttik

Subjects: Logic in Computer Science (cs.LO)

[6]  arXiv:2010.02340 [pdf, ps, other]

Title: Complexity Analysis of Tree Share Structure

Authors: Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin

Comments: 20 pages including appendix. Published at the 16th Asian Symposium on Programming Languages and Systems (APLAS 2018) in December 2018

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[7]  arXiv:2010.02595 [pdf, ps, other]

Title: Formalizing the Ring of Witt Vectors

Authors: Johan Commelin, Robert Y. Lewis

Journal-ref: Proceedings of Certified Programs and Proofs (CPP 2021)

Subjects: Logic in Computer Science (cs.LO); Number Theory (math.NT)

[8]  arXiv:2010.02752 [pdf, other]

Title: ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory

Authors: Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla

Comments: 103 pages, 65 figures

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)

[9]  arXiv:2010.02823 [pdf, other]

Title: Tight Polynomial Bounds for Loop Programs in Polynomial Space

Authors: A. M. Ben-Amram, G. W. Hamilton

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 4 (November 11, 2021) lmcs:6832

Subjects: Logic in Computer Science (cs.LO)

[10]  arXiv:2010.02982 [pdf, ps, other]

Title: Dynamic Query Evaluation Over Structures with Low Degree

Authors: Alexandre Vigny

Comments: 21 pages, 0 figures

Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB); Data Structures and Algorithms (cs.DS)

[11]  arXiv:2010.03185 [pdf, ps, other]

Title: QCTL model-checking with QBF solvers

Authors: A. Hossain, F. Laroussinie

Comments: 31 pages. arXiv admin note: substantial text overlap with arXiv:1906.10005

Subjects: Logic in Computer Science (cs.LO)

[12]  arXiv:2010.03311 [pdf, other]

Title: Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity

Authors: Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[13]  arXiv:2010.03842 [pdf, other]

Title: Adaptive Shielding under Uncertainty

Authors: Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem

Comments: 8 pages, 6 figures, 1 table

Subjects: Logic in Computer Science (cs.LO)

[14]  arXiv:2010.04000 [pdf, other]

Title: Reversible Computation in Cyclic Petri Nets

Authors: Anna Philippou, Kyriaki Psara

Comments: arXiv admin note: substantial text overlap with arXiv:1804.04607

Subjects: Logic in Computer Science (cs.LO)

[15]  arXiv:2010.04749 [pdf, other]

Title: Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification

Authors: Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David Basin

Subjects: Logic in Computer Science (cs.LO)

[16]  arXiv:2010.04958 [pdf, ps, other]

Title: Constraint Satisfaction Problems over Finite Structures

Authors: Libor Barto, William DeMeo, Antoine Mottet

Journal-ref: LICS 2021 pages 1--13

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Rings and Algebras (math.RA)

[17]  arXiv:2010.05023 [pdf, ps, other]

Title: Cuvée: Blending SMT-LIB with Programs and Weakest Preconditions

Authors: Gidon Ernst

Subjects: Logic in Computer Science (cs.LO)

[18]  arXiv:2010.05677 [pdf, other]

Title: Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Authors: Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph

Comments: 15 pages, 1 figure

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)

[19]  arXiv:2010.05799 [pdf, ps, other]

Title: Some classical model theoretic aspects of bounded shrub-depth classes

Authors: Abhisekh Sankaran

Comments: 26 pages

Subjects: Logic in Computer Science (cs.LO)

[20]  arXiv:2010.05812 [pdf, other]

Title: A Complete Approach to Loop Verification with Invariants and Summaries

Authors: Gidon Ernst

Comments: This article extends a conference version at VMCAI'22

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[21]  arXiv:2010.06366 [pdf, ps, other]

Title: Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties

Authors: Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre

Comments: 35 pages

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[22]  arXiv:2010.06367 [pdf, ps, other]

Title: Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes

Authors: Fabian Meyer, Marcel Hark, Jürgen Giesl

Subjects: Logic in Computer Science (cs.LO)

[23]  arXiv:2010.06496 [pdf, ps, other]

Title: Relating Structure and Power: Extended Version

Authors: Samson Abramsky, Nihil Shah

Comments: Extended version of paper arXiv:1806.09031 which appeared in CSL 2018. To appear in Journal of Logic and Computation 2021

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[24]  arXiv:2010.07082 [pdf, ps, other]

Title: Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version)

Authors: Silvio Ghilardi, Alessandro Gianola, Deepak Kapur

Subjects: Logic in Computer Science (cs.LO)

[25]  arXiv:2010.07253 [pdf, ps, other]

Title: An SMT Solver for Regular Expressions and Linear Arithmetic over String Length

Authors: Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh

Comments: 25 pages (main body 21 pages). 7 figures, 6 tables

Subjects: Logic in Computer Science (cs.LO)