Computing probabilistic bisimilarity distances for probabilistic automata Autor Bacci, G, Bacci, G, Larsen, KG, Mardare, R, Tang, Q, van Breugel, F

“…Logical Methods in Computer Science…”

Higher order automatic differentiation of higher order functions Autor Huot, M, Staton, S, Vákár, M

“…Logical Methods in Computer Science…”

A complete axiomisation for quantifier-free separation logic Autor Demri, S, Lozes, E, Mansutti, A

“…Logical Methods in Computer Science…”

Classical control, quantum circuits and linear logic in enriched category theory Autor Rennela, M, Staton, S

“…Logical Methods in Computer Science…”

Block structure vs scope extrusion: Between innocence and omniscience Autor Murawski, A, Tzevelekos, N

“…Logical Methods in Computer Science…”

Trace refinement in labelled Markov decision processes Autor Fijalkow, N, Kiefer, S, Shirmohammadi, M

“…Logical Methods in Computer Science…”

A categorical semantics for causal structure Autor Kissinger, A, Uijlen, S

“…Logical Methods in Computer Science …”

The logical strength of Büchi's decidability theorem Autor Kolodziejczyk, L, Michalewski, H, Pradic, P, Skrzypczak, M

“…Logical Methods in Computer Science…”

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory Autor Benedikt, M, Pradic, C, Wernhard, C

“…Logical Methods in Computer Science…”

Affine extensions of integer vector addition systems with states Autor Blondin, M, Haase, C, Mazowiecki, F, Raskin, M

“…Logical Methods in Computer Science…”

Nash equilibrium and bisimulation invariance Autor Gutierrez, J, Harrenstein, B, Perelli, G, Wooldridge, M

“…Logical Methods in Computer Science…”

Definability and interpolation within decidable fixpoint logics Autor Benedikt, M, Bourhis, P, Vanden Boom, M

“…Logical Methods in Computer Science…”

The big-O problem Autor Chistikov, D, Kiefer, SM, Murawski, AS, Purser, D

“…Logical Methods in Computer Science…”

Finite choice, convex choice and finding roots Autor Stéphane Le Roux, Arno Pauly

“…Logical Methods in Computer Science e.V.…”
Získat plný text

Unary negation Autor Luc Segoufin, Balder ten Cate

“…Logical Methods in Computer Science e.V.…”
Získat plný text

Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services Autor Davide Basile, Maurice H. ter Beek, Rosario Pugliese

“…Logical Methods in Computer Science e.V.…”
Získat plný text

Vector Addition System Reversible Reachability Problem Autor Jérôme Leroux

“…Logical Methods in Computer Science e.V.…”
Získat plný text

Canonicity and homotopy canonicity for cubical type theory Autor Thierry Coquand, Simon Huber, Christian Sattler

“…Logical Methods in Computer Science e.V.…”
Získat plný text

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) Autor Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

“…Logical Methods in Computer Science e.V.…”
Získat plný text

Reconfiguration and Message Losses in Parameterized Broadcast Networks Autor Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar

“…Logical Methods in Computer Science e.V.…”
Získat plný text