Yazar
Halldórsson, Magnús M. editor.
Format:
Electronic Resources
Alıntı:
Category Quantifier in Monadic Second Order Logic -- Liveness of Parameterized Timed Networks -- Symmetric
Yazar
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
First-Order Logic -- Stability and Complexity of Minimising Probabilistic Automata -- Kleene Algebra with
View Other Search Results
Yazar
Freivalds, Rūsiņš Mārtiņš. editor.
Format:
Electronic Resources
Alıntı:
Complexity of Paging Against a Probabilistic Adversary -- On Parity Game Preorders and the Logic of Matching
Yazar
Italiano, Giuseppe F. editor.
Format:
Electronic Resources
Alıntı:
Para-NP -- Maximally Permissive Controlled System Synthesis for Modal Logic -- Approximation Hardness of
Yazar
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of
Yazar
Halldórsson, Magnús M. editor.
Format:
Electronic Resources
Alıntı:
papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics
Arama Sonuçlarını Sınırlandır
Daraltılmış: