Format:
X, 206 S.
,
graph. Darst.
,
24 cm
ISBN:
9783642118807
Series Statement:
Lecture notes in computer science 5955 : Lecture notes in artificial intelligence
Language:
English
Subjects:
Computer Science
Keywords:
Automatentheorie
;
Mathematische Logik
;
Verzweigungsprozess
;
Baumautomat
;
Büchi-Automat
;
Zeitbehafteter Automat