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

Logic in Computer Science

Authors and titles for recent submissions

[ total of 41 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41 ]
[ showing 10 entries per page: fewer | more | all ]

Mon, 3 Jun 2024

[1]  arXiv:2405.20842 [pdf, ps, other]
Title: Compositional Reversible Computation
Authors: Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
Comments: 18 pages
Journal-ref: Reversible Computation, LNCS 14680:10-27, 2024
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2405.20745 [pdf, other]
Title: Practical Modelling with Bigraphs
Authors: Blair Archibald, Muffy Calder, Michele Sevegnani
Comments: 34 pages
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Software Engineering (cs.SE)
[3]  arXiv:2405.20917 (cross-list from cs.CL) [pdf, other]
Title: Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
Authors: İlker Işık, Ebru Aydin Gol, Ramazan Gokberk Cinbis
Comments: 20 pages, 15 figures
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[4]  arXiv:2405.20804 (cross-list from cs.GT) [pdf, ps, other]
Title: Reachability and Safety Games under TSO Semantics (Extended Version)
Authors: Stephan Spengler
Comments: 22 pages, 8 figures, accepted and to be presented at GandALF 2024
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

Fri, 31 May 2024

[5]  arXiv:2405.20083 [pdf, other]
Title: Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Authors: Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[6]  arXiv:2405.20057 [pdf, ps, other]
Title: A General Automata Model for First-Order Temporal Logics (Extended Version)
Authors: Luca Geatti, Alessandro Gianola, Nicola Gigante
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:2405.19968 [pdf, ps, other]
Title: A Dynamic Logic for Information Evaluation in Intelligence
Authors: Benjamin Icard
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:2405.20263 (cross-list from math.CO) [pdf, ps, other]
Title: An algebraic proof of the graph orientation problem dichotomy for forbidden tournaments
Authors: Roman Feller, Michael Pinsker
Comments: 17 pages
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)
[9]  arXiv:2405.19787 (cross-list from cs.CL) [pdf, other]
Title: From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
Authors: Dylan Zhang, Justin Wang, Francois Charton
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[10]  arXiv:2405.19354 (cross-list from math.GM) [pdf, ps, other]
Title: Rotations of Gödel algebras with modal operators
Authors: Tommaso Flaminio, Lluis Godo, Paula Menchón, Ricardo O. Rodriguez
Subjects: General Mathematics (math.GM); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[ total of 41 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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