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

Logic in Computer Science

Authors and titles for recent submissions

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

Thu, 25 Nov 2021

[1]  arXiv:2111.12274 [pdf, other]
Title: Formalization of Bond Graph using Higher-order-logic Theorem Proving
Comments: ISA Transactions, Elsevier
Subjects: Logic in Computer Science (cs.LO)

Wed, 24 Nov 2021

[2]  arXiv:2111.11984 [pdf, ps, other]
Title: Deconfined Global Types for Asynchronous Sessions
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[3]  arXiv:2111.11908 (cross-list from math.GR) [pdf, ps, other]
Title: A Systematic Study of Isomorphism Invariants of Finite Groups via the Weisfeiler-Leman Dimension
Subjects: Group Theory (math.GR)
[4]  arXiv:2111.11819 (cross-list from cs.PL) [pdf, ps, other]
Title: Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach
Authors: Emanuele De Angelis (1), Fabio Fioravanti (2), Alberto Pettorossi (3), Maurizio Proietti (1) ((1) IASI-CNR, Roma, Italy, (2) DEC, University G. D'Annunzio, Pescara, Italy, (3) DICII, University of Rome Tor Vergata, Roma, Italy)
Comments: This work has been SUBMITTED (under consideration) to the CILC 2020 specialissue of the Journal of Logic and Computation. arXiv admin note: text overlap with arXiv:2004.07749
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[5]  arXiv:2111.11588 (cross-list from cs.AI) [pdf, ps, other]
Title: A Logical Semantics for PDDL+
Comments: arXiv admin note: text overlap with arXiv:1807.04861
Journal-ref: Proceedings of the International Conference on Automated Planning and Scheduling, vol.29, pp.40-48, 2019
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Tue, 23 Nov 2021

[6]  arXiv:2111.11331 [pdf, ps, other]
Title: Vector Space Semantics for Lambek Calculus with Soft Subexponentials
Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL)
[7]  arXiv:2111.11144 [pdf, ps, other]
Title: A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof
Authors: Allan van Hulst
Comments: 15 pages, for Coq-proofs contact the author
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:2111.10873 [pdf, other]
Title: The Central Valuations Monad
Journal-ref: In Proceedings CALCO 2021 (Early Ideas Track)
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); General Topology (math.GN)
[9]  arXiv:2111.10862 [pdf, other]
Title: Strictification of weakly stable type-theoretic structures using generic contexts
Authors: Rafaël Bocquet
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[10]  arXiv:2111.10630 [pdf, other]
Title: Probabilistic Model Checking and Autonomy
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2111.11218 (cross-list from cs.DC) [pdf, other]
Title: Parallel Logic Programming: A Sequel
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[12]  arXiv:2111.10881 (cross-list from cs.GT) [pdf, other]
Title: Solving Infinite Games in the Baire Space
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[13]  arXiv:2111.10867 (cross-list from cs.PL) [pdf, ps, other]
Title: Qimaera: Type-safe (Variational) Quantum Programming in Idris
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[14]  arXiv:2111.10830 (cross-list from quant-ph) [pdf, other]
Title: Simple circuit simulations of classical and quantum Turing machines
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph)
[15]  arXiv:2111.10824 (cross-list from cs.MA) [pdf, other]
Title: A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs
Comments: This is an extended version of our accepted paper at The 4th IEEE International Conference on Blockchain (IEEE Blockchain-2021)
Subjects: Multiagent Systems (cs.MA); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[16]  arXiv:2111.10626 (cross-list from cs.CC) [pdf, other]
Title: Learning algorithms versus automatability of Frege systems
Subjects: Computational Complexity (cs.CC); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Mon, 22 Nov 2021

[17]  arXiv:2111.10049 [pdf, other]
Title: Formalization of Transform Methods in Higher-order Logic: A Survey
Comments: Formal Verification of Physical Systems (FVPS-2021), co-located with Conference on Intelligent Computer Mathematics (CICM-2021)
Subjects: Logic in Computer Science (cs.LO)

Fri, 19 Nov 2021

[18]  arXiv:2111.09822 [pdf, other]
Title: Parametricity Features and their Requirements
Authors: Andreas Nuyts
Subjects: Logic in Computer Science (cs.LO)
[ total of 18 entries: 1-18 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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