Once upon a time in the west – Determinacy‚ definability and complexity of path games

Détails bibliographiques
Auteurs principaux: Berwanger, D, Grädel, E, Kreutzer, S
Format: Conference item
Publié: Springer 2003