Computing probabilistic bisimilarity distances for probabilistic automata per 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 per Huot, M, Staton, S, Vákár, M

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science …”

The logical strength of Büchi's decidability theorem per 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 per Benedikt, M, Pradic, C, Wernhard, C

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science e.V.…”
Obtenir text complet

Unary negation per Luc Segoufin, Balder ten Cate

“…Logical Methods in Computer Science e.V.…”
Obtenir text complet

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

“…Logical Methods in Computer Science e.V.…”
Obtenir text complet

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

“…Logical Methods in Computer Science e.V.…”
Obtenir text complet

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

“…Logical Methods in Computer Science e.V.…”
Obtenir text complet

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

“…Logical Methods in Computer Science e.V.…”
Obtenir text complet

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

“…Logical Methods in Computer Science e.V.…”
Obtenir text complet