Backtracking Games and Inflationary Fixed Points

Dettagli Bibliografici
Autori principali: Dawar, A, Grädel, E, Kreutzer, S
Natura: Journal article
Pubblicazione: 2006