Chair of Computer Science 7
Logic and Theory of Discrete Systems
Links
RWTH Aachen University
Institutes / Associations
People
-
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,
Group,
Universität Kiel
-
Pierre Wolper,
Université de Liege
