Infinite words : automata, semigroups, logic and games

著者

• Perrin, Dominique
• Pin, Jean Eric

書誌事項

Infinite words : automata, semigroups, logic and games

Dominique Perrin and Jean-Éric Pin

（Pure and applied mathematics, v. 141）

Elsevier, 2004

タイトル別名

Infinite words : automata, semigroups, logic & games

注記

Includes bibliographical references (p. [499]-521) and index

内容説明・目次

内容説明

Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Infinite Words is the first manual devoted to this topic. Infinite Words explores all aspects of the theory, including Automata, Semigroups, Topology, Games, Logic, Bi-infinite Words, Infinite Trees and Finite Words. The book also looks at the early pioneering work of Buchi, McNaughton and Schutzenberger.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA65979612
• ISBN:
  • 9780125321112
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; Tokyo
• ページ数/冊数: xi, 538 p.
• 大きさ: 24 cm
• 分類:
  • DC21 : 512.2
• 件名:
  • LCSH : Machine theory
  • LCSH : Group theory
• 親書誌ID:
  • BA00019614