Automata, logics, and infinite games

書誌詳細
その他の著者: Grädel, Erich 1958-, Thomas, Wolfgang 1947-, Wilke, Thomas 1965-
フォーマット: 図書
言語:English
出版事項: New York Springer c2002.
シリーズ:Lecture notes in computer science 2500.
主題: