Backtracking Games and Inflationary Fixed Points

Détails bibliographiques
Auteurs principaux: Dawar, A, Grädel, E, Kreutzer, S
Format: Journal article
Publié: 2006