Aufsatzsammlung
Automata logics, and infinite games : a guide to current research
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540003885
3540003886
- Dimensions
-
24 cm
- Extent
-
VIII, 385 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 365 - 376
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 2500
- Keyword
-
Unendliches Spiel
Zweipersonenspiel
Büchi-Automat
Unendliches Spiel
Baumautomat
Bewachte Logik
Stufe 2
Model Checking
My-Kalkül
Logik
Stufe 2
Monade
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2002
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 11.06.2025, 1:39 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Aufsatzsammlung
Associated
- Grädel, Erich
- Springer
Time of origin
- 2002
Other Objects (12)
Paths in infinite trees : logics and automata
Paths in infinite trees : logics and automata
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
Automata on infinite objects
Logics for concurrency : structure versus automata
Jumping Automata over Infinite Words
Multi-weighted Automata Models and Quantitative Logics
PSpace Automata with Blocking for Description Logics
Tree automata with constraints on infinite trees
Weighted automata and weighted logics over tree-like structures
Expressiveness and Decidability of Weighted Automata and Weighted Logics
Weighted Automata and Logics on Hierarchical Structures and Graphs
Paths in infinite trees : logics and automata
Paths in infinite trees : logics and automata
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
Automata on infinite objects
Logics for concurrency : structure versus automata
Jumping Automata over Infinite Words
Multi-weighted Automata Models and Quantitative Logics
PSpace Automata with Blocking for Description Logics
Tree automata with constraints on infinite trees
Weighted automata and weighted logics over tree-like structures
Expressiveness and Decidability of Weighted Automata and Weighted Logics
Weighted Automata and Logics on Hierarchical Structures and Graphs
Paths in infinite trees : logics and automata
Paths in infinite trees : logics and automata
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
Automata on infinite objects
Logics for concurrency : structure versus automata
Jumping Automata over Infinite Words
Multi-weighted Automata Models and Quantitative Logics
PSpace Automata with Blocking for Description Logics
Tree automata with constraints on infinite trees
Weighted automata and weighted logics over tree-like structures
Expressiveness and Decidability of Weighted Automata and Weighted Logics