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....”
获取全文