- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
37 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 2019
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (who)
-
Inst. für Informatik und Praktische Mathematik
- (when)
-
2001
- 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.06.2025, 2:14 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.
Associated
- Fritz, Carsten
- Wilke, Thomas
- Inst. für Informatik und Praktische Mathematik
Time of origin
- 2001
Other Objects (12)
Simulation Relations for Alternating Büchi Automata
Buffered Simulation for Büchi Automata
Partially ordered two-way Büchi automata
Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata
Real-time language recognition by alternating cellular automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Determinization and ambiguity of classical and probabilistic Büchi automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
Simulation with cellular automata
Werte, Qualität und Innovation : Entstehung und Entwicklung der Büchi Labortechnik : Walter Büchi, Eugen Büchi, Reinhard Büchi
Büchi 2
Simulation Relations for Alternating Büchi Automata
Buffered Simulation for Büchi Automata
Partially ordered two-way Büchi automata
Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata
Real-time language recognition by alternating cellular automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Determinization and ambiguity of classical and probabilistic Büchi automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
Simulation with cellular automata
Werte, Qualität und Innovation : Entstehung und Entwicklung der Büchi Labortechnik : Walter Büchi, Eugen Büchi, Reinhard Büchi
Büchi 2
Simulation Relations for Alternating Büchi Automata
Buffered Simulation for Büchi Automata
Partially ordered two-way Büchi automata
Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata
Real-time language recognition by alternating cellular automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Determinization and ambiguity of classical and probabilistic Büchi automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
Simulation with cellular automata
Werte, Qualität und Innovation : Entstehung und Entwicklung der Büchi Labortechnik : Walter Büchi, Eugen Büchi, Reinhard Büchi