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

“...Logical Methods in Computer Science...”

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

“...Logical Methods in Computer Science...”

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

“...Logical Methods in Computer Science...”

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

“...Logical Methods in Computer Science...”

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

“...Logical Methods in Computer Science...”

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

“...Logical Methods in Computer Science ...”

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

“...Logical Methods in Computer Science...”

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

“...Logical Methods in Computer Science...”

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

“...Logical Methods in Computer Science...”

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

“...Logical Methods in Computer Science...”

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

“...Logical Methods in Computer Science...”

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

“...Logical Methods in Computer Science e.V....”
Testo

Unary negation di Luc Segoufin, Balder ten Cate

“...Logical Methods in Computer Science e.V....”
Testo

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

“...Logical Methods in Computer Science e.V....”
Testo

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

“...Logical Methods in Computer Science e.V....”
Testo

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

“...Logical Methods in Computer Science e.V....”
Testo

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

“...Logical Methods in Computer Science e.V....”
Testo

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

“...Logical Methods in Computer Science e.V....”
Testo