Logic in Computer Science

Authors and titles for recent submissions, skipping first 12

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

[13] arXiv:2405.09391 (cross-list from cs.PL) [pdf, ps, other]: Title: Compositional imprecise probability

Authors: Jack Liell-Cock, Sam Staton

Comments: Draft. Feedback welcome

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)
[14] arXiv:2405.09146 (cross-list from math.CO) [pdf, other]: Title: First order distinguishability of sparse random graphs

Authors: Tal Hershko, Maksim Zhukovskii

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
[15] arXiv:2405.08863 (cross-list from hep-ph) [pdf, ps, other]: Title: HepLean: Digitalising high energy physics

Authors: Joseph Tooby-Smith

Comments: 16 pages. Comments are welcome

Subjects: High Energy Physics - Phenomenology (hep-ph); Logic in Computer Science (cs.LO); High Energy Physics - Theory (hep-th)

[16] arXiv:2405.08647 [pdf, other]: Title: Output-decomposed Learning of Mealy Machines

Authors: Rick Koenders, Joshua Moerman

Comments: LearnAut 2024

Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)
[17] arXiv:2405.08104 [pdf, ps, other]: Title: Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)

Authors: Kirstin Peters, Nobuko Yoshida

Comments: Technical report of the paper Separation and Encodability in Mixed Choice Multiparty Sessions by Kirstin Peters and Nobuko Yoshida at LICS'24

Subjects: Logic in Computer Science (cs.LO)
[18] arXiv:2405.08372 (cross-list from cs.PL) [pdf, ps, other]: Title: Reasoning about Interior Mutability in Rust using Library-Defined Capabilities

Authors: Federico Poli, Xavier Denis, Peter Müller, Alexander J. Summers

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[19] arXiv:2405.07953 [pdf, ps, other]: Title: On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates

Authors: Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell

Comments: 17 pages

Subjects: Logic in Computer Science (cs.LO)
[20] arXiv:2405.07807 [pdf, ps, other]: Title: Efficient Synthesis of Symbolic Distributed Protocols by Sketching

Authors: Derek Egolf, William Schultz, Stavros Tripakis

Subjects: Logic in Computer Science (cs.LO)
[21] arXiv:2405.07656 [pdf, ps, other]: Title: Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)

Authors: Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter

Subjects: Logic in Computer Science (cs.LO)
[22] arXiv:2405.07505 [pdf, ps, other]: Title: A cyclic proof system for Guarded Kleene Algebra with Tests (full version)

Authors: Jan Rooduijn, Dexter Kozen, Alexandra Silva

Comments: Full version of paper accepted at IJCAR 2024

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)

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