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
View Other Search Results
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
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: