Lehrstuhl für Informatik 7
Logik und Theorie diskreter Systeme
Links
RWTH Aachen
Institute / Gesellschaften
Leute
-
André Arnold,
LaBRI, Université Bordeaux
-
Olivier Carton,
Université Paris 7
-
Didier Caucal,
IRISA Rennes
-
Bruno Courcelle,
LaBRI, Université Bordeaux
-
Volker Diekert,
Universität Stuttgart
-
Juhani Karhumäki,
University of Turku
-
Orna Kupferman,
Hebrew University of Jerusalem
-
Jean-Eric Pin,
Université Paris 7
-
Jacques Sakarovitch,
ENST Paris
-
Denis Thérien,
McGill University Montreal
-
Moshe Y. Vardi,
Rice University Houston
-
Igor Walukiewicz,
LaBRI, Université Bordeaux
-
Thomas Wilke,
Gruppe,
Universität Kiel
-
Pierre Wolper,
Université de Liege
