- Language
-
Englisch
- Notes
-
Aachen, Techn. Hochsch., Diss., 2013
- Identifier
-
104956121X
Subject
Unendliches Spiel , Reguläre Sprache , Automatentheorie , Büchi-Automat; Hochschulschrift
Contributor
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:55 PM CET
Object type
- Monografie
Associated
Other Objects (12)
Languages and strategies : a study of regular infinite games
Buffered Simulation for Büchi Automata
Memory and delay in regular infinite games
Strategy machines : representation and complexity of strategies in infinite games
Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition
Synthesis of winning strategies for interaction under partial information
Strategy machines : representation and complexity of strategies in infinite games
Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern
Finite automata, their algebras, and grammars : towards a theory of formal expressions
Simplification problems for automata and games
Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen
Synthesis of winning strategies for interaction under partial information
Languages and strategies : a study of regular infinite games
Buffered Simulation for Büchi Automata
Memory and delay in regular infinite games
Strategy machines : representation and complexity of strategies in infinite games
Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition
Synthesis of winning strategies for interaction under partial information
Strategy machines : representation and complexity of strategies in infinite games
Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern
Finite automata, their algebras, and grammars : towards a theory of formal expressions
Simplification problems for automata and games
Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen
Synthesis of winning strategies for interaction under partial information
Languages and strategies : a study of regular infinite games
Buffered Simulation for Büchi Automata
Memory and delay in regular infinite games
Strategy machines : representation and complexity of strategies in infinite games
Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition
Synthesis of winning strategies for interaction under partial information
Strategy machines : representation and complexity of strategies in infinite games
Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern
Finite automata, their algebras, and grammars : towards a theory of formal expressions
Simplification problems for automata and games
Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen