Wolfgang Thomas

Rheinisch Westfalische Technische Hochschule Aachen - Aachen / Germany

Engineering & Technology / Computer Science

AD Scientific Index ID: 1762929

RWTH Aachen University

Registration, Add Profile,
Premium Membership

Print Your Certificate

Wolfgang Thomas's MOST POPULAR ARTICLES

1-) Automata on infinite objectsW ThomasFormal Models and Semantics, 133-191, 199021101990

2-) Mathematical logicHD Ebbinghaus, J Flum, W Thomas, AS FerebeeSpringer, 199413491994

3-) Languages, automata, and logicW ThomasHandbook of formal languages, 389-455, 199713381997

4-) Automata, logics, and infinite games: a guide to current researchE Grädel, W Thomas, T WilkeSpringer, 200311592003

5-) On the synthesis of strategies in infinite gamesW ThomasAnnual Symposium on Theoretical Aspects of Computer Science, 1-13, 19955621995

ARTICLES

Add your articles