
Infinite Words: Volume 141
Automata, Semigroups, Logic and Games
Academic Press
Published on 12. February 2004
Book
Hardback
550 pages
978-0-12-532111-2 (ISBN)
Description
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 Buechi, McNaughton and Schuetzenberger.
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 Buechi, McNaughton and Schuetzenberger.
Reviews / Votes
"The most impressive aspect of the book "Infinite Words" by Dominique Perrin and Jean-Eric Pin is the extent of its coverage. It is a virtually complete compendium of everything to do with infinite words: infinite-time automata; connections to semigroups, topology and logic; infinite games; bi-infinite words; infinite trees." --Robert McNaughton, Emeritus Professor Ph.D., Harvard University, USAMore details
Series
Language
English
Place of publication
San Diego
United States
Publishing group
Elsevier Science Publishing Co Inc
Target group
Professional and scholarly
Researchers and Graduate Students in Mathematics and Computer Sciences. Computer Science Engineers.
Dimensions
Height: 229 mm
Width: 152 mm
Weight
1000 gr
ISBN-13
978-0-12-532111-2 (9780125321112)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
By Dominique Perrin and Jean-ric Pin
Author
Universite de Marne la vallee, Marne la vallee, France
Universite Denis Diderot, Paris, France