Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Logic in Computer Science

Authors and titles for recent submissions

See today's new changes

Total of 28 entries : 16-28 26-28
Showing up to 25 entries per page: fewer | more | all

Fri, 15 Nov 2024 (continued, showing last 3 of 4 entries )

[16] arXiv:2411.09366 [pdf, html, other]
Title: LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)
[17] arXiv:2411.09121 [pdf, html, other]
Title: AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
Comments: regular tool paper submitted to TACAS 2025
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[18] arXiv:2411.09347 (cross-list from cs.PL) [pdf, other]
Title: The Denotational Semantics of SSA
Jad Elkhaleq Ghalayini, Neel Krishnaswami
Comments: 94 pages, 38 figures, mechanization available at this https URL
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Thu, 14 Nov 2024 (showing 5 of 5 entries )

[19] arXiv:2411.08847 [pdf, other]
Title: Proof Nets for the {\pi}-Calculus
Matteo Acclavio, Giulia Manara
Subjects: Logic in Computer Science (cs.LO)
[20] arXiv:2411.08770 [pdf, other]
Title: On Kleisli liftings and decorated trace semantics
Daniel Luckhardt, Harsh Beohar, Sebastian Küpper
Comments: 40th Conference on Mathematical Foundations of Programming Semantics (MFPS)
Subjects: Logic in Computer Science (cs.LO)
[21] arXiv:2411.08635 [pdf, html, other]
Title: Synthesis with Privacy Against an Observer
Orna Kupferman, Ofer Leshkowitz, Namma Shamash Halevy
Subjects: Logic in Computer Science (cs.LO)
[22] arXiv:2411.08421 (cross-list from math.CT) [pdf, html, other]
Title: Modest Sets are Equivalent to PERs
Rahul Chhabra
Comments: 14 pages; Expository article
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[23] arXiv:2411.08040 (cross-list from cs.AI) [pdf, html, other]
Title: The Universal PDDL Domain
Patrik Haslum, Augusto B. Corrêa
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Wed, 13 Nov 2024 (showing 5 of 5 entries )

[24] arXiv:2411.07714 [pdf, other]
Title: Typed Non-determinism in Concurrent Calculi: The Eager Way
Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W.N. Paulus, Jorge A. Pérez
Comments: Presented at MFPS 2024
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[25] arXiv:2411.07667 [pdf, html, other]
Title: Formalization of physics index notation in Lean 4
Joseph Tooby-Smith
Comments: 24 pages. Comments are welcome
Subjects: Logic in Computer Science (cs.LO); High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th)
[26] arXiv:2411.07665 [pdf, other]
Title: An SMT Theory for n-Indexed Sequences
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
Comments: 22nd International Workshop on Satisfiability Modulo Theories, Jul 2024, Montreal, Canada, France
Subjects: Logic in Computer Science (cs.LO)
[27] arXiv:2411.07431 [pdf, html, other]
Title: Continuous Domains for Function Spaces Using Spectral Compactification
Amin Farjudian, Achim Jung
Comments: 19 pages, 1 figure, Mathematical Foundations of Programming Semantics (MFPS) 2024
Subjects: Logic in Computer Science (cs.LO); General Topology (math.GN)
[28] arXiv:2411.07966 (cross-list from cs.CC) [pdf, html, other]
Title: Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
Albert Atserias, Iddo Tzameret
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)
Total of 28 entries : 16-28 26-28
Showing up to 25 entries per page: fewer | more | all