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

“...Logical Methods in Computer Science e.V....”
Polni tekst

Unary negation od Luc Segoufin, Balder ten Cate

“...Logical Methods in Computer Science e.V....”
Polni tekst

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

“...Logical Methods in Computer Science e.V....”
Polni tekst

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

“...Logical Methods in Computer Science e.V....”
Polni tekst

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

“...Logical Methods in Computer Science e.V....”
Polni tekst

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

“...Logical Methods in Computer Science e.V....”
Polni tekst

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

“...Logical Methods in Computer Science e.V....”
Polni tekst

Complexity theory for spaces of integrable functions od Florian Steinberg

“...Logical Methods in Computer Science e.V....”
Polni tekst

Banach Spaces as Data Types od Dag Normann

“...Logical Methods in Computer Science e.V....”
Polni tekst

Comparing hierarchies of total functionals od Dag Normann

“...Logical Methods in Computer Science e.V....”
Polni tekst

Complexity of Problems of Commutative Grammars od Eryk Kopczynski

“...Logical Methods in Computer Science e.V....”
Polni tekst

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction od Barnaby Martin, Manuel Bodirsky, Martin Hils

“...Logical Methods in Computer Science e.V....”
Polni tekst

Theory of higher order interpretations and application to Basic Feasible Functions od Emmanuel Hainry, Romain Péchoux

“...Logical Methods in Computer Science e.V....”
Polni tekst

Infinite Probabilistic Databases od Martin Grohe, Peter Lindner

“...Logical Methods in Computer Science e.V....”
Polni tekst

Generalised Mermin-type non-locality arguments od Stefano Gogioso, William Zeng

“...Logical Methods in Computer Science e.V....”
Polni tekst

Separators in Continuous Petri Nets od Michael Blondin, Javier Esparza

“...Logical Methods in Computer Science e.V....”
Polni tekst

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity od Dan Frumin, Robbert Krebbers, Lars Birkedal

“...Logical Methods in Computer Science e.V....”
Polni tekst

Guarded and Unguarded Iteration for Generalized Processes od Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg

“...Logical Methods in Computer Science e.V....”
Polni tekst

Complete Call-by-Value Calculi of Control Operators II: Strong Termination od Ryu Hasegawa

“...Logical Methods in Computer Science e.V....”
Polni tekst

Reachability under Contextual Locking od Remi Bonnet, Rohit Chadha, Mahesh Viswanathan, P. Madhusudan

“...Logical Methods in Computer Science e.V....”
Polni tekst