 |
| 1. |
|
Automata, Logics, and Infinite Games
Erich Grdel, Wolfgang Thomas, Thomas Wilke
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2002.
|
 |
| 2. |
|
Finite Model Theory and Its Applications
Erich Grdel, Phokion G Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer
Inbunden. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2007.
|
|
| 3. |
|
The Classical Decision Problem
Egon Brger, Erich Grdel, Yuri Gurevich
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2001.
|
|
| 4. |
|
Computer Science Logic
Erich Grdel, Reinhard Kahle
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2009.
|
|
| 5. |
|
Finite Model Theory and Its Applications
Erich Grdel, Phokion G Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2014.
|
|
|
|
