Backtracking Games and Inflationary Fixed Points

Bibliografski detalji
Glavni autori: Dawar, A, Grädel, E, Kreutzer, S
Format: Journal article
Izdano: 2006