Erich Grädel

Erich Grädel

RWTH Aachen University
Подтвержден адрес электронной почты в домене logic.rwth-aachen.de
Цитируется: 11641
Mathematical Logic Logic and Algorithms Algorithmic Model Theory Theory of Infinite Games Descriptive Complexity