Backtracking games and inflationary fixed points

Бібліографічні деталі
Автори: Dawar, A, Grädel, E, Kreutzer, S
Формат: Conference item
Опубліковано: 2004