Backtracking Games and Inflationary Fixed Points

Opis bibliograficzny
Główni autorzy: Dawar, A, Grädel, E, Kreutzer, S
Format: Journal article
Wydane: 2006