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

Logic in Computer Science

Authors and titles for recent submissions

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

Fri, 30 Jul 2021

[1]  arXiv:2107.13988 [pdf, ps, other]
Title: Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality
Authors: Nils Kürbis
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2107.13975 [pdf, ps, other]
Title: A Sketch of a Proof-Theoretic Semantics for Necessity
Authors: Nils Kürbis
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2107.13953 [pdf, other]
Title: Separator logic and star-free expressions for graphs
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:2107.14031 (cross-list from math.CT) [pdf, ps, other]
Title: Doctrines, modalities and comonads
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)
[5]  arXiv:2107.13827 (cross-list from cs.ET) [pdf, other]
Title: ReCo1: A Fault resilient technique of Correlation Sensitive Stochastic Designs
Comments: 24 pages,20 figures, 2 tables, 3 algorithms
Subjects: Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO)

Thu, 29 Jul 2021

[6]  arXiv:2107.13477 [pdf, other]
Title: Satisfiability and Synthesis Modulo Oracles
Comments: 12 pages, 8 Figures
Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG); Programming Languages (cs.PL)
[7]  arXiv:2107.13347 [pdf, ps, other]
Title: Semantics for Variational Quantum Programming
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Operator Algebras (math.OA)
[8]  arXiv:2107.13242 [pdf, ps, other]
Title: Type theories in category theory
Authors: Tesla Zhang
Comments: 39 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Wed, 28 Jul 2021

[9]  arXiv:2107.12902 [pdf, ps, other]
Title: Logical Characterization of Coherent Uninterpreted Programs
Comments: Accepted at FMCAD 2021
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:2107.12475 [pdf, other]
Title: On the hardness of knowing busy beaver values BB(15) and BB(5,4)
Comments: 12 pages, 5 figures, code and machines available at this https URL
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Logic (math.LO)
[11]  arXiv:2107.12986 (cross-list from cs.FL) [pdf, other]
Title: Logics Meet 2-Way 1-Clock Alternating Timed Automata
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Tue, 27 Jul 2021

[12]  arXiv:2107.11841 [pdf, ps, other]
Title: Model Checking Algorithms for Hyperproperties
Authors: Bernd Finkbeiner
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2107.11679 [pdf, ps, other]
Title: Reasoning about Recursive Quantum Programs
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[14]  arXiv:2107.11674 [pdf, other]
Title: Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[15]  arXiv:2107.12144 (cross-list from quant-ph) [pdf, ps, other]
Title: Quantum Information Effects
Comments: 32 pages, including 10 page appendix
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[16]  arXiv:2107.11864 (cross-list from cs.LG) [pdf, other]
Title: Neural Circuit Synthesis from Specification Patterns
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Mon, 26 Jul 2021

[17]  arXiv:2107.11280 [pdf, other]
Title: Type-based Enforcement of Infinitary Trace Properties for Java
Comments: main part (14 pages) published at PPDP'21; arXiv version contains an appendix on the FJ operational semantics and the extension to support exception handling (15 pages total)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[18]  arXiv:2107.10988 [pdf, other]
Title: Formalizing Galois Theory
Comments: 15 pages
Subjects: Logic in Computer Science (cs.LO); Number Theory (math.NT)
[19]  arXiv:2107.10986 (cross-list from cs.CC) [pdf, other]
Title: Lower Bounds for Symmetric Circuits for the Determinant
Comments: 29 Pages
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
[ total of 19 entries: 1-19 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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