Backtracking Games and Inflationary Fixed Points

Dades bibliogràfiques
Autors principals: Dawar, A, Grädel, E, Kreutzer, S
Format: Journal article
Publicat: 2006