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

Logic in Computer Science

Authors and titles for recent submissions

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

Fri, 29 May 2020

[1]  arXiv:2005.13954 [pdf, other]
Title: Adding an Abstraction Barrier to ZF Set Theory
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2005.13811 [pdf, ps, other]
Title: No-Go Theorems for Data Privacy
Authors: Thomas Studer
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)
[3]  arXiv:2005.13654 [pdf, ps, other]
Title: Local Algebraic Effect Theories
Comments: 24 pages, 8 figures
Journal-ref: LUKSIC, Z, & PRETNAR, M. (2020). Local algebraic effect theories. Journal of Functional Programming, 30, E13
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[4]  arXiv:2005.13602 [pdf, other]
Title: Certifying Findel Derivatives for Blockchain
Authors: Andrei Arusoaie
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2005.14104 (cross-list from math.CT) [pdf, ps, other]
Title: Globular Multicategories with Homomorphism Types
Comments: 25 pages
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)

Thu, 28 May 2020

[6]  arXiv:2005.13415 [pdf, other]
Title: CDCL(Crypto) SAT Solvers for Cryptanalysis
Comments: Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering 2019 (CASCON 2019)
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)
[7]  arXiv:2005.13301 [pdf, other]
Title: Global Guidance for Local Generalization in Model Checking
Comments: Published in CAV 2020
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[8]  arXiv:2005.12911 (cross-list from cs.DC) [pdf, ps, other]
Title: Structural Reductions Revisited
Authors: Yann Thierry-Mieg (SU, CNRS)
Journal-ref: 41ST INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, Jun 2020, Paris, France
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Wed, 27 May 2020

[9]  arXiv:2005.12876 [pdf, ps, other]
Title: A Survey of Languages for Formalizing Mathematics
Comments: CICM 2020 conference paper preprint
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2005.12582 [pdf, ps, other]
Title: Differentials and distances in probabilistic coherence spaces (extended version)
Authors: Thomas Ehrhard (IRIF)
Comments: extended version of arXiv:1902.04836
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2005.12737 (cross-list from cs.AI) [pdf, other]
Title: Towards United Reasoning for Automatic Induction in Isabelle/HOL
Authors: Yutaka Nagashima
Comments: This is the pre-print of our short-paper accepted at the 34th Annual Conference of the Japanese Society for Artificial Intelligence, 2020 (this https URL)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Tue, 26 May 2020

[12]  arXiv:2005.12232 [pdf, other]
Title: Verification of the IBOS Browser Security Properties in Reachability Logic
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL)
[13]  arXiv:2005.12175 [pdf, other]
Title: Formal Methods with a Touch of Magic
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[14]  arXiv:2005.11827 [pdf, other]
Title: RTAMT: Online Robustness Monitors from STL
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[15]  arXiv:2005.11737 [pdf, other]
Title: Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors
Comments: 25 pages
Subjects: Logic in Computer Science (cs.LO)
[16]  arXiv:2005.11710 (cross-list from cs.PL) [pdf, ps, other]
Title: Featherweight Go
Comments: a full version
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[17]  arXiv:2005.11635 (cross-list from math.ST) [pdf, other]
Title: The Optimal 'AND'
Authors: Richard Rohwer
Comments: 23 pages, 5 figures, to be submitted (shortened) to NeurIPS20
Subjects: Statistics Theory (math.ST); Information Theory (cs.IT); Logic in Computer Science (cs.LO)
[18]  arXiv:2005.11551 (cross-list from cs.FL) [pdf, ps, other]
Title: Minimisation in Logical Form
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Mon, 25 May 2020

[19]  arXiv:2005.11290 [pdf, other]
Title: Internal Parametricity for Cubical Type Theory
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:2005.11023 (cross-list from cs.PL) [pdf, ps, other]
Title: Symbolic Reasoning about Quantum Circuits in Coq
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[ total of 20 entries: 1-20 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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