Umfang:
VIII, 385 S.
ISBN:
3-540-00388-6
Serie:
Lecture notes in computer science 2500 : Tutorial
Anmerkung:
Includes index
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Informatik
;
Logik
;
Mathematisches Spiel
;
Unendliches Spiel
;
Zweipersonenspiel
;
Büchi-Automat
;
Unendliches Spiel
;
Baumautomat
;
Bewachte Logik
;
Stufe 2
;
Model Checking
;
My-Kalkül
;
Logik
;
Stufe 2
;
Monade
;
Aufsatzsammlung
;
Konferenzschrift
;
Aufsatzsammlung
;
Konferenzschrift
;
Konferenzschrift
;
Aufsatzsammlung
URL:
http://www.loc.gov/catdir/enhancements/fy0817/2002044587-d.html
Mehr zum Autor:
Grädel, Erich, 1958-
Mehr zum Autor:
Thomas, Wolfgang, 1947-