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