Format:
X, 206 S. :
,
graph. Darst. ;
,
24 cm.
ISBN:
978-3-642-11880-7
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