Fully decidable logics, automata and classical theories for defining regular real-time languages
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
102 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 100 - 102
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
MPI Informatik, Bibliothek & Dokumentation
- (when)
-
1999
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:13 PM CET
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.
Associated
- Henzinger, Thomas
- Raskin, Jean-François
- Schobbens, Pierre-Yves
- MPI Informatik, Bibliothek & Dokumentation
Time of origin
- 1999
Other Objects (12)
Logics for concurrency : structure versus automata
Paths in infinite trees : logics and automata
PSpace Automata with Blocking for Description Logics
Multi-weighted Automata Models and Quantitative Logics
Paths in infinite trees : logics and automata
Transformation Between Regular Expressions and omega-Automata
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
To and fro between tableaus and automata for description logics
Automata logics, and infinite games : a guide to current research
Weighted tree automata and quantitative logics with a focus on ambiguity
Logics for concurrency : structure versus automata
Paths in infinite trees : logics and automata
PSpace Automata with Blocking for Description Logics
Multi-weighted Automata Models and Quantitative Logics
Paths in infinite trees : logics and automata
Transformation Between Regular Expressions and omega-Automata
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
To and fro between tableaus and automata for description logics
Automata logics, and infinite games : a guide to current research
Weighted tree automata and quantitative logics with a focus on ambiguity
Logics for concurrency : structure versus automata
Paths in infinite trees : logics and automata
PSpace Automata with Blocking for Description Logics
Multi-weighted Automata Models and Quantitative Logics
Paths in infinite trees : logics and automata
Transformation Between Regular Expressions and omega-Automata
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
To and fro between tableaus and automata for description logics
Automata logics, and infinite games : a guide to current research