-
1
Finite choice, convex choice and finding roots
Vydáno 2015-12-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
2
Unary negation
Vydáno 2013-09-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
3
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
Vydáno 2020-06-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
4
Vector Addition System Reversible Reachability Problem
Vydáno 2013-02-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
5
Canonicity and homotopy canonicity for cubical type theory
Vydáno 2022-02-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
6
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Vydáno 2023-10-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
7
Reconfiguration and Message Losses in Parameterized Broadcast Networks
Vydáno 2021-03-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
8
Complexity theory for spaces of integrable functions
Vydáno 2017-09-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
9
Banach Spaces as Data Types
Vydáno 2011-05-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
10
Comparing hierarchies of total functionals
Vydáno 2005-10-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
11
Complexity of Problems of Commutative Grammars
Vydáno 2015-03-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
12
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
Vydáno 2012-09-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
13
Theory of higher order interpretations and application to Basic Feasible Functions
Vydáno 2020-12-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
14
Infinite Probabilistic Databases
Vydáno 2022-02-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
15
Generalised Mermin-type non-locality arguments
Vydáno 2019-04-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
16
Separators in Continuous Petri Nets
Vydáno 2024-02-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
17
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
Vydáno 2021-07-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
18
Guarded and Unguarded Iteration for Generalized Processes
Vydáno 2019-07-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
19
Complete Call-by-Value Calculi of Control Operators II: Strong Termination
Vydáno 2021-03-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek -
20
Reachability under Contextual Locking
Vydáno 2013-09-01“…Logical Methods in Computer Science e.V.…”
Získat plný text
Článek