Wolfgang Thomas
Klinikum Mutterhaus der Borromäerinnen(DE)
Publications by Year
Research Areas
semigroups and automata theory, Logic, programming, and type systems, Formal Methods in Verification, Computability, Logic, AI Algorithms, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Automata on Infinite Objects(1990)948 cited
- → Languages, Automata, and Logic(1997)941 cited
- → On the synthesis of strategies in infinite games(1995)375 cited
- → Automata logics, and infinite games: a guide to current research(2002)367 cited
- Mathematical Logic(1985)
- → Classifying regular events in symbolic logic(1982)334 cited
- → Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree(1987)151 cited