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.…”
সম্পূর্ণ পাঠ পাওয়ার জন্য