Backtracking Games and Inflationary Fixed Points

Bibliografische gegevens
Hoofdauteurs: Dawar, A, Grädel, E, Kreutzer, S
Formaat: Journal article
Gepubliceerd in: 2006
Search Result 1