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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“...Logical Methods in Computer Science e.V....”
Obter o texto integral

Unary negation Por Luc Segoufin, Balder ten Cate

“...Logical Methods in Computer Science e.V....”
Obter o texto integral

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

“...Logical Methods in Computer Science e.V....”
Obter o texto integral

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

“...Logical Methods in Computer Science e.V....”
Obter o texto integral

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

“...Logical Methods in Computer Science e.V....”
Obter o texto integral

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

“...Logical Methods in Computer Science e.V....”
Obter o texto integral

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

“...Logical Methods in Computer Science e.V....”
Obter o texto integral