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

著者

書誌事項

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

Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)

(Lecture notes in computer science, 2500)

Springer, c2002

タイトル別名

Automata, logics, and infinite games

大学図書館所蔵 件 / 29

この図書・雑誌をさがす

注記

Bibliography: p. [365]-376

Includes indexes

"Tutorial"--Cover

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ