Automata, logics, and infinite games : a guide to current research /

Άλλοι συγγραφείς: Gradel, Erich, 1958-, Thomas, Wolfgang, 1947-, Wilke, Thomas, 1965-
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin : Springer, 2002
Σειρά:Lecture notes in computer science ; ; 2500
Θέματα: