A Guide to Current Research
De som köpt den här boken har ofta också köpt Co-Intelligence av Ethan Mollick (häftad).
Köp båda 2 för 1236 krFrom the reviews: "This book aims to be a Guide to Current Research. it is a concise and uniform presentation of at least 50 papers, along with notes in various places that help the reader to put things together. It has a good bibliography . the book could be used as a textbook for an advanced graduate course or seminar. It would be a good choice for a seminar involving students." (Hans-Jrg Tiede, SIGACT News, Vol. 35 (1), 2004)
?-Automata.- Infinite Games.- Determinization and Complementation.- Determinization of Bchi-Automata.- Complementation of Bchi Automata Using Alternation.- Determinization and Complementation of Streett Automata.- Parity Games.- Memoryless Determinacy of Parity Games.- Algorithms for Parity Games.- Tree Automata.- Nondeterministic Tree Automata.- Alternating Tree Automata and Parity Games.- Modal ?-Calculus.- Modal ?-Calculus and Alternating Tree Automata.- Strictness of the Modal ?-Calculus Hierarchy.- Monadic Second-Order Logic.- Decidability of S1S and S2S.- The Complexity of Translating Logic to Finite Automata.- Expressive Power of Monadic Second-Order Logic and Modal ?-Calculus.- Tree-like Models.- Prefix-Recognizable Graphs and Monadic Logic.- The Monadic Theory of Tree-like Structures.- Two-Way Tree Automata Solving Pushdown Games.- Guarded Logics.- to Guarded Logics.- Automata for Guarded Fixed Point Logics.- Appendices.- Some Fixed Point Basics.