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

Logic in Computer Science

Authors and titles for recent submissions, skipping first 27

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

Tue, 23 Apr 2024

[1]  arXiv:2404.14340 [pdf, other]
Title: Hybrid Intersection Types for PCF (Extended Version)
Authors: Pablo Barenbaum, Delia Kesner, Mariana Milicich
Comments: 38 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[2]  arXiv:2404.14223 [pdf, other]
Title: Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Authors: Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[3]  arXiv:2404.13782 [pdf, ps, other]
Title: The Characterization of Abstract Truth and its Factorization
Authors: Robert E. Kent
Comments: 31 pages, 9 figures
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:2404.13672 [pdf, ps, other]
Title: Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
Authors: Temur Kutsia (RISC, Johannes Kepler University Linz), Daniel Ventura (INF, Universidade Federal de Goiás), David Monniaux (CNRS - Verimag), José F. Morales (IMDEA)
Journal-ref: EPTCS 402, 2024
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC); Software Engineering (cs.SE)
[5]  arXiv:2404.13352 [pdf, other]
Title: A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
Authors: Wojciech Różowski
Comments: Accepted for publication at ICALP. Full version of the paper containing omitted proofs
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:2404.13687 (cross-list from cs.GT) [pdf, ps, other]
Title: Faster Game Solving by Fixpoint Acceleration
Authors: Daniel Hausmann
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[7]  arXiv:2404.13337 (cross-list from cs.CR) [pdf, other]
Title: Fuzzychain: An Equitable Consensus Mechanism for Blockchain Networks
Authors: Bruno Ramos-Cruz, Javier Andreu-Pérez, Francisco J. Quesada, Luis Martínez
Comments: 16 pages, 13 figures, 2 tables, this article was submitted to a JCR journal
Subjects: Cryptography and Security (cs.CR); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO)

Mon, 22 Apr 2024

[8]  arXiv:2404.12951 [pdf, ps, other]
Title: The Benefits of Diligence
Authors: Victor Arrial, Giulio Guerrieri, Delia Kesner
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:2404.12905 [pdf, other]
Title: Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
Authors: Jan Tóth, Ondřej Kuželka
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2404.12676 [pdf, other]
Title: Teaching Divisibility and Binomials with Coq
Authors: Sylvie Boldo (LMF), François Clément (SERENA, CERMICS), David Hamelin (LMF), Micaela Mayero (LIPN, LMF), Pierre Rousselin (LAGA, SERENA, CERMICS)
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2404.12747 (cross-list from cs.PL) [pdf, other]
Title: Customizing Static Analysis using Codesearch
Authors: Avi Hayoun, Veselin Raychev, Jack Hair
Comments: 34 pages, 2 figures
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[12]  arXiv:2404.12534 (cross-list from cs.AI) [pdf, other]
Title: Towards Large Language Models as Copilots for Theorem Proving in Lean
Authors: Peiyang Song, Kaiyu Yang, Anima Anandkumar
Comments: All code open-sourced at this https URL
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)

Fri, 19 Apr 2024

[13]  arXiv:2404.12229 [pdf, other]
Title: A minimal base or a direct base? That is the question!
Authors: Jaume Baixeries, Amedeo Napoli
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:2404.12048 [pdf, other]
Title: Symbolic Computation for All the Fun
Authors: Chad E. Brown, Mikoláš Janota, Mirek Olšák
Subjects: Logic in Computer Science (cs.LO)
[15]  arXiv:2404.11841 [pdf, ps, other]
Title: On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
Authors: Lijie Chen, Jiatu Li, Igor C. Oliveira
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[16]  arXiv:2404.12035 (cross-list from cs.SE) [pdf, ps, other]
Title: Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
Authors: Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[17]  arXiv:2404.11744 (cross-list from cs.AI) [pdf, other]
Title: Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
Authors: Luca Buoncompagni, Fulvio Mastrogiovanni
Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO); Robotics (cs.RO)
[18]  arXiv:2404.11709 (cross-list from cs.CC) [pdf, ps, other]
Title: Satisfiability of commutative vs. non-commutative CSPs
Authors: Andrei A. Bulatov, Stanislav Živný
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

Thu, 18 Apr 2024

[19]  arXiv:2404.11445 [pdf, ps, other]
Title: Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
Authors: Carlos Olarte, Elaine Pimentel
Subjects: Logic in Computer Science (cs.LO)

Wed, 17 Apr 2024

[20]  arXiv:2404.10648 [pdf, ps, other]
Title: The General and Finite Satisfiability Problems for PCTL are Undecidable
Authors: Miroslav Chodil, Antonín Kučera
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:2404.10637 [pdf, other]
Title: On Homomorphism Indistinguishability and Hypertree Depth
Authors: Benjamin Scheidt
Subjects: Logic in Computer Science (cs.LO)
[22]  arXiv:2404.10616 [pdf, ps, other]
Title: One is all you need: Second-order Unification without First-order Variables
Authors: David M. Cerna, Julian Parsert
Comments: Under review
Subjects: Logic in Computer Science (cs.LO)
[23]  arXiv:2404.10591 (cross-list from cs.RO) [pdf, other]
Title: Learning Symbolic Task Representation from a Human-Led Demonstration: A Memory to Store, Retrieve, Consolidate, and Forget Experiences
Authors: Luca Buoncompagni, Fulvio Mastrogiovanni
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO)
[ total of 23 entries: 1-23 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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