Searching for authors named Wolfgang Thomas – sorted by Relevance.
201 documents found, showing 1 through 10.
Next 10 →
-
Complementation of Büchi Automata Revisited
- …Complementation of Buchi Automata Revisited Wolfgang Thomas Lehrstuhl fur Informatik VII, RWTH…
- Cited by 9 (3 self) – Add To MetaCart
-
Uniform and Nonuniform Recognizability
- …Uniform and Nonuniform Recognizability Wolfgang Thomas Lehrstuhl Informatik VII, RWTH Aachen…
- Cited by 1 (0 self) – Add To MetaCart
-
Logic for Computer Science: The Engineering Challenge
- …Logic for Computer Science: The Engineering Challenge Wolfgang Thomas RWTH Aachen, Lehrstuhl f…
- Cited by 1 (0 self) – Add To MetaCart
-
Some perspectives of infinite-state verification
- …Some Perspectives of Infinite-State Verification Wolfgang Thomas RWTH Aachen, Lehrstuhl Informatik…
- Cited by 1 (0 self) – Add To MetaCart
-
Automata Theory on Trees and Partial Orders
- …Automata Theory on Trees and Partial Orders Wolfgang Thomas Christian-Albrechts-Universitat zu…
- Cited by 14 (2 self) – Add To MetaCart
-
Elements of an Automata Theory Over Partial Orders
- … of an Automata Theory Over Partial Orders Wolfgang Thomas Abstract. A model of nondeterministic finite automaton…
- Cited by 8 (2 self) – Add To MetaCart
-
Model Transformations in Decidability Proofs for Monadic Theories
- …Model Transformations in Decidability Proofs for Monadic Theories Wolfgang Thomas RWTH Aachen…
- Add To MetaCart
-
Optimizing Winning Strategies in Regular Infinite Games
- …Optimizing Winning Strategies in Regular Infinite Games Wolfgang Thomas RWTH Aachen, Lehrstuhl…
- Add To MetaCart
-
Church’s Problem and a Tour through Automata Theory
- …Church’s Problem and a Tour through Automata Theory Wolfgang Thomas RWTH Aachen, Lehrstuhl…
- Add To MetaCart
-
Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words
- …Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words Wolfgang Thomas…
- Cited by 23 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
