- 出版社：Springer Vieweg
- 出版年月：2025年 12月
- ISBN：9783662721537
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：419 p.
- 分類： 集合論・論理学
- 内容紹介：
-
This book introduces the reader into the field of automata theory and logic. It studies fundamental properties like complementation and determinisation of automata on infinite words and trees, and presents their applications for logics used in program verification.