Erich Grädel

Erich Grädel

RWTH Aachen University
E-mail megerősítve itt: logic.rwth-aachen.de
Idézetek száma: 11638
Mathematical Logic Logic and Algorithms Algorithmic Model Theory Theory of Infinite Games Descriptive Complexity