Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types von Daisuke Kimura, Makoto Tatsuta

“… Logical Methods in Computer Science e.V. …”
Volltext

Subspace-Invariant AC$^0$ Formulas von Benjamin Rossman

“… Logical Methods in Computer Science e.V. …”
Volltext

Computable analysis and notions of continuity in Coq von Florian Steinberg, Laurent Thery, Holger Thies

“… Logical Methods in Computer Science e.V. …”
Volltext

Complexity classifications for different equivalence and audit problems for Boolean circuits von Elmar Böhler, Nadia Creignou, Matthias Galota, Steffen Reith, Henning Schnoor, Heribert Vollmer

“… Logical Methods in Computer Science e.V. …”
Volltext

Ologisms von Ruggero Pagnan

“… Logical Methods in Computer Science e.V. …”
Volltext

A Framework for Certified Self-Stabilization von Karine Altisen, Pierre Corbineau, Stephane Devismes

“… Logical Methods in Computer Science e.V. …”
Volltext

Parametric updates in parametric timed automata von Étienne André, Didier Lime, Mathias Ramparison

“… Logical Methods in Computer Science e.V. …”
Volltext

Rewriting with Acyclic Queries: Mind Your Head von Gaetano Geck, Jens Keppeler, Thomas Schwentick, Christopher Spinrath

“… Logical Methods in Computer Science e.V. …”
Volltext

On-the-Fly Computation of Bisimilarity Distances von Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

“… Logical Methods in Computer Science e.V. …”
Volltext

Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems von Alexander Semenov, Ilya Otpuschennikov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov

“… Logical Methods in Computer Science e.V. …”
Volltext

Approximate reasoning for real-time probabilistic processes von Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

“… Logical Methods in Computer Science e.V. …”
Volltext

Probabilistic Algorithmic Knowledge von Joseph Y. Halpern, Riccardo Pucella

“… Logical Methods in Computer Science e.V. …”
Volltext

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective von Natsuki Urabe, Ichiro Hasuo

“… Logical Methods in Computer Science e.V. …”
Volltext

Deconfined Global Types for Asynchronous Sessions von Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini

“… Logical Methods in Computer Science e.V. …”
Volltext

Concurrent Process Histories and Resource Transducers von Chad Nester

“… Logical Methods in Computer Science e.V. …”
Volltext

Amortised Resource Analysis with Separation Logic von Robert Atkey

“… Logical Methods in Computer Science e.V. …”
Volltext

Probabilistic call by push value von Thomas Ehrhard, Christine Tasson

“… Logical Methods in Computer Science e.V. …”
Volltext

Algebraic Language Theory for Eilenberg--Moore Algebras von Achim Blumensath

“… Logical Methods in Computer Science e.V. …”
Volltext

Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties von Deepak Kapur

“… Logical Methods in Computer Science e.V. …”
Volltext

Modal Logics of Topological Relations von Carsten Lutz, Frank Wolter

“… Logical Methods in Computer Science e.V. …”
Volltext