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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

A categorical semantics for causal structure -н Kissinger, A, Uijlen, S

“…Logical Methods in Computer Science …”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science…”

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

“…Logical Methods in Computer Science e.V.…”
Бүрэн текст авах

Unary negation -н Luc Segoufin, Balder ten Cate

“…Logical Methods in Computer Science e.V.…”
Бүрэн текст авах

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

“…Logical Methods in Computer Science e.V.…”
Бүрэн текст авах

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

“…Logical Methods in Computer Science e.V.…”
Бүрэн текст авах

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

“…Logical Methods in Computer Science e.V.…”
Бүрэн текст авах

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

“…Logical Methods in Computer Science e.V.…”
Бүрэн текст авах

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

“…Logical Methods in Computer Science e.V.…”
Бүрэн текст авах