Automata, Logics, and Infinite Games
Subtitle: A Guide to Current Research (Lecture Notes in Computer Science)
Contributors: Erich Grädel (Editor); Wolfgang Thomas (Editor); Thomas Wilke (Editor)
Edition: 1 edition
Publisher: Springer
Published: February 12, 2003
Language: eng
Format: Paperback
Number of pages: 396
ISBN-13: 9783540003885
Subjects: Applications of Computing; Machine Learning; Computers; Computer Mathematics; Mathematics; Computers - General Information; Logic, Symbolic and mathematical; Computer Books: General; Logic, Symbolic and mathematic; Computers / Computer Science; Computers / Machine Theory; Computers : Computer Science; Artificial Intelligence - General; Machine Theory; Computer Science; Game theory
First sentence: Automata on infinite words have gained a great deal of importance since their first definition some forty years ago.