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

Berwanger, Dietmar; Grädel, Erich; Kreutzer, Stephan

Berlin ; Heidelberg ; New York : Springer (2003)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 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)/Artikel-Nr.: 229-243

Identifikationsnummern