Once upon a time in the West - Determinacy, definability, and complexity of path games

Berlin ; Heidelberg ; New York / Springer (2003) [Beitrag zu einem Tagungsband]

Logic for programming, artificial intelligence, and reasoning : 10th international conference, Almaty, Kazakhstan, September 22 - 26, 2003 ; proceedings / LPAR 2003. Moshe Y. Vardi ... (eds.)
Seite(n): 229-243

Autorinnen und Autoren

Autorinnen und Autoren

Berwanger, Dietmar
Grädel, Erich
Kreutzer, Stephan

Identifikationsnummern