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

Logic in Computer Science

Authors and titles for recent submissions

[ total of 33 entries: 1-28 | 29-33 ]
[ showing 28 entries per page: fewer | more | all ]

Wed, 24 Apr 2024

[1]  arXiv:2404.15248 [pdf, ps, other]
Title: A Dependency Pair Framework for Relative Termination of Term Rewriting
Authors: Jan-Christoph Kassing, Grigory Vartanyan, Jürgen Giesl
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2404.15221 [pdf, ps, other]
Title: The Architecture of Truth
Authors: Robert E. Kent
Comments: 62 pages, 6 figures
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2404.15215 [pdf, other]
Title: Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
Authors: Márk Somorjai (Department of Measurement and Information Systems, Budapest University of Technology and Economics), Mihály Dobos-Kovács (Department of Measurement and Information Systems, Budapest University of Technology and Economics), Zsófia Ádám (Department of Measurement and Information Systems, Budapest University of Technology and Economics), Levente Bajczi (Department of Measurement and Information Systems, Budapest University of Technology and Economics), András Vörös (Department of Measurement and Information Systems, Budapest University of Technology and Economics)
Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672. This research was partially funded by the UNKP-22-2,3-I New National Excellence Program and Project no. 2019-1.3.1-KK-2019-00004, which has been implemented with the support provided from the National Research, Development and Innovation Fund of Hungary, financed under the 2019-1.3.1-KK funding scheme
Journal-ref: EPTCS 402, 2024, pp. 105-117
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[4]  arXiv:2404.15214 [pdf, other]
Title: Embedding Differential Dynamic Logic in PVS
Authors: J. Tanner Slagel (NASA), Mariano Moscato (NIA), Lauren White (NASA), César A. Muñoz (NASA), Swee Balachandran (NIA), Aaron Dutle (NASA)
Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
Journal-ref: EPTCS 402, 2024, pp. 43-62
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2404.14924 [pdf, other]
Title: An Encoding for CLP Problems in SMT-LIB
Authors: Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer
Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
Journal-ref: EPTCS 402, 2024, pp. 118-130
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[6]  arXiv:2404.14923 [pdf, ps, other]
Title: CHC-COMP 2023: Competition Report
Authors: Emanuele De Angelis (IASI-CNR, Rome, Italy), Hari Govind V K (University of Waterloo, Canada)
Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
Journal-ref: EPTCS 402, 2024, pp. 83-104
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:2404.14922 [pdf, ps, other]
Title: Semi-Substructural Logics with Additives
Authors: Niccolò Veltri (Tallinn University of Technology), Cheng-Syuan Wan (Tallinn University of Technology)
Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
Journal-ref: EPTCS 402, 2024, pp. 63-80
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:2404.14921 [pdf, ps, other]
Title: More Church-Rosser Proofs in BELUGA
Authors: Alberto Momigliano (Dipartimento di Informatica, Università degli Studi di Milano, Italy), Martina Sassella (Dipartimento di Matematica, Università degli Studi di Milano, Italy)
Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
Journal-ref: EPTCS 402, 2024, pp. 34-42
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[9]  arXiv:2404.14920 [pdf, other]
Title: Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
Authors: Thaynara Arielly de Lima (Universidade Federal de Goiás), Andréia Borges Avelar (Universidade de Brasília), André Luiz Galdino (Universidade Federal de Catalão), Mauricio Ayala-Rincón (Universidade de Brasília)
Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
Journal-ref: EPTCS 402, 2024, pp. 18-33
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2404.14919 [pdf, other]
Title: Stalnaker's Epistemic Logic in Isabelle/HOL
Authors: Laura P. Gamboa Guzman (Iowa State University, Ames, Iowa), Kristin Y. Rozier (Iowa State University, Ames, Iowa)
Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
Journal-ref: EPTCS 402, 2024, pp. 4-17
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2404.14781 [pdf, other]
Title: Improved Algorithm for Reachability in $d$-VASS
Authors: Yuxi Fu, Qizhe Yang, Yangluo Zheng
Comments: 36 pages
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[12]  arXiv:2404.14517 [pdf, ps, other]
Title: Synthesis for prefix first-order logic on data words
Authors: Julien Grange, Mathieu Lehaut
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2404.14470 [pdf, ps, other]
Title: Truth Factors
Authors: Robert E. Kent
Comments: 38 pages, 18 figures
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:2404.14789 (cross-list from cs.MA) [pdf, other]
Title: Opinion Update in a Subjective Logic Model for Social Networks
Authors: Mário S. Alvim, Sophia Knight, José C. Oliveira
Subjects: Multiagent Systems (cs.MA); Logic in Computer Science (cs.LO)

Tue, 23 Apr 2024

[15]  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)
[16]  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)
[17]  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)
[18]  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)
[19]  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)
[20]  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)
[21]  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

[22]  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)
[23]  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)
[24]  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)
[25]  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)
[26]  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 (showing first 2 of 6 entries)

[27]  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)
[28]  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)
[ total of 33 entries: 1-28 | 29-33 ]
[ showing 28 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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