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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science …”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science e.V.…”
Preuzmi cijeli tekst

Unary negation od Luc Segoufin, Balder ten Cate

“…Logical Methods in Computer Science e.V.…”
Preuzmi cijeli tekst

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

“…Logical Methods in Computer Science e.V.…”
Preuzmi cijeli tekst

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

“…Logical Methods in Computer Science e.V.…”
Preuzmi cijeli tekst

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

“…Logical Methods in Computer Science e.V.…”
Preuzmi cijeli tekst

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

“…Logical Methods in Computer Science e.V.…”
Preuzmi cijeli tekst

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

“…Logical Methods in Computer Science e.V.…”
Preuzmi cijeli tekst