Backtracking Games and Inflationary Fixed Points

Библиографические подробности
Главные авторы: Dawar, A, Grädel, E, Kreutzer, S
Формат: Journal article
Опубликовано: 2006