Sum and Tensor of Quantitative Effects by Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin

Subjects: “…computer science - logic in computer science…”
Get full text

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder by Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann

Subjects: “…computer science - logic in computer science…”
Get full text

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces by Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Subjects: “…computer science - logic in computer science…”
Get full text

Checkpoint-based rollback recovery in session programming by Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida

Subjects: Get full text

Multi-Structural Games and Beyond by Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion Kolaitis, Jonathan Lenchner, Rik Sengupta

Subjects: “…computer science - logic in computer science…”
Get full text

Regular Model Checking Upside-Down: An Invariant-Based Approach by Javier Esparza, Michael Raskin, Christoph Welzel-Mohr

Subjects: Get full text

Proof complexity of positive branching programs by Anupam Das, Avgerinos Delkos

Subjects: Get full text

History-deterministic Timed Automata by Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke

Subjects: Get full text

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries by Diego Figueira, Rémi Morvan

Subjects: “…computer science - logic in computer science…”
Get full text

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics by Long Pham, Jan Hoffmann

Subjects: Get full text

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints by Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge

Subjects: “…computer science - logic in computer science…”
Get full text

Constant-delay enumeration for SLP-compressed documents by Martín Muñoz, Cristian Riveros

Subjects: Get full text

On the relative asymptotic expressivity of inference frameworks by Vera Koponen, Felix Weitkämper

Subjects: “…computer science - logic in computer science…”
Get full text