UID:
kobvindex_ZLB13465967
Format:
VIII, 385 Seiten
,
graph. Darst.
,
24 cm
ISBN:
3540003886
Series Statement:
Lecture notes in computer science 2500
Note:
Literaturverz. S. 365 - 376
,
Text engl.
Language:
English
Keywords:
Unendliches Spiel
;
Zweipersonenspiel
;
Aufsatzsammlung
;
Büchi-Automat
;
Aufsatzsammlung
;
Unendliches Spiel
;
Baumautomat
;
Bewachte Logik
;
Stufe 2
;
Model Checking
;
Aufsatzsammlung
;
My-Kalkül
;
Logik
;
Stufe 2
;
Monade 〈Mathematik〉
;
Aufsatzsammlung
;
Aufsatzsammlung
;
Aufsatzsammlung