- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
76 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 66 - 76
- Bibliographic citation
-
Aachener Informatik-Berichte ; Nr. 88,17
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
RWTH, Fachgruppe Informatik
- (when)
-
1988
- 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, 1:43 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
- Thomas, Wolfgang
- RWTH, Fachgruppe Informatik
Time of origin
- 1988
Other Objects (12)
Tree automata with constraints on infinite trees
Jumping Automata over Infinite Words
Complementation and Inclusion of Weighted Automata on Infinite Trees
Paths in infinite trees : logics and automata
Paths in infinite trees : logics and automata
Tree Automata with Global Constraints for Infinite Trees
Complementation and Inclusion of Weighted Automata on Infinite Trees : Revised Version
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Automata logics, and infinite games : a guide to current research
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
On infinite graphs and infinite groups
Single-use automata and transducers for infinite alphabets: Q/A Session F - Paper F3.D
Tree automata with constraints on infinite trees
Jumping Automata over Infinite Words
Complementation and Inclusion of Weighted Automata on Infinite Trees
Paths in infinite trees : logics and automata
Paths in infinite trees : logics and automata
Tree Automata with Global Constraints for Infinite Trees
Complementation and Inclusion of Weighted Automata on Infinite Trees : Revised Version
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Automata logics, and infinite games : a guide to current research
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
On infinite graphs and infinite groups
Single-use automata and transducers for infinite alphabets: Q/A Session F - Paper F3.D
Tree automata with constraints on infinite trees
Jumping Automata over Infinite Words
Complementation and Inclusion of Weighted Automata on Infinite Trees
Paths in infinite trees : logics and automata
Paths in infinite trees : logics and automata
Tree Automata with Global Constraints for Infinite Trees
Complementation and Inclusion of Weighted Automata on Infinite Trees : Revised Version
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Automata logics, and infinite games : a guide to current research
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
On infinite graphs and infinite groups