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

Logic in Computer Science

Authors and titles for recent submissions, skipping first 40

[ total of 32 entries: 1-10 | 3-12 | 13-22 | 23-32 ]
[ showing 10 entries per page: fewer | more | all ]

Tue, 14 May 2024 (continued, showing last 7 of 11 entries)

[23]  arXiv:2405.06670 [pdf, other]
Title: TLINet: Differentiable Neural Network Temporal Logic Inference
Authors: Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)
[24]  arXiv:2405.06664 [pdf, other]
Title: A categorical account of composition methods in logic (extended version)
Authors: Tomáš Jakl, Dan Marsden, Nihil Shah
Comments: This is an extended version of arXiv:2304.10196 which, apart from providing full proofs of all statements, takes a more categorical point of view to tell the whole story. In particular, we highlight and explain the underlying categorical constructions in detail
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[25]  arXiv:2405.07975 (cross-list from cs.FL) [pdf, other]
Title: Dynamic Programming for Symbolic Boolean Realizability and Synthesis
Authors: Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi
Comments: 33 pages including the Appendix and bibliography, 5 figures, paper is to be published in CAV 2024, but this version is inclusive of the Appendix
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[26]  arXiv:2405.07911 (cross-list from cs.FL) [pdf, other]
Title: Slice closures of indexed languages and word equations with counting constraints
Authors: Laura Ciobanu, Georg Zetzsche
Comments: 12 pages, accepted for publication at LICS 2024
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Group Theory (math.GR)
[27]  arXiv:2405.07724 (cross-list from math.CT) [pdf, ps, other]
Title: Monoidal closure of Grothendieck constructions via $Σ$-tractible monoidal structures and Dialectica formulas
Authors: Fernando Lucatelli Nunes, Matthijs Vákár
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[28]  arXiv:2405.06973 (cross-list from cs.AI) [pdf, other]
Title: A Primer for Preferential Non-Monotonic Propositional Team Logics
Authors: Kai Sauerwald, Juha Kontinen
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[29]  arXiv:2405.06826 (cross-list from cs.PL) [pdf, other]
Title: A Nominal Approach to Probabilistic Separation Logic
Authors: John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Mon, 13 May 2024

[30]  arXiv:2405.06491 [pdf, ps, other]
Title: A Note on an Inferentialist Approach to Resource Semantics
Authors: Alexander V. Gheorghiu, Tao Gu, David J. Pym
Comments: An abstract of conference paper 'Inferentialist Resource Semantics' (Accepted at MFPS 2024) that was presented at SLSS 2024. arXiv admin note: substantial text overlap with arXiv:2402.09217
Subjects: Logic in Computer Science (cs.LO); Computers and Society (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC)
[31]  arXiv:2405.06127 [pdf, other]
Title: Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection
Authors: Ross Daly, Caleb Donovick, Caleb Terrill, Jackson Melchert, Priyanka Raina, Clark Barrett, Pat Hanrahan
Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)
[32]  arXiv:2405.06052 (cross-list from eess.SY) [pdf, ps, other]
Title: Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
Authors: Inigo Incer
Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO)
[ total of 32 entries: 1-10 | 3-12 | 13-22 | 23-32 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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