03133nam 2200649 a 450 991014641870332120200520144314.090-485-0128-8(CKB)1000000000486824(EBL)419849(OCoLC)232968063(SSID)ssj0000193834(PQKBManifestationID)11166317(PQKBTitleCode)TC0000193834(PQKBWorkID)10246395(PQKB)10592209(MiAaPQ)EBC419849(Au-PeEL)EBL419849(CaPaEBR)ebr10302747(EXLCZ)99100000000048682420091013d2008 uy 0engur|n|---|||||txtccrLogic and automata history and perspectives /edited by Jorg Flum, Erich Gradel, and Thomas Wilke1st ed.Amsterdam Amsterdam University Pressc20081 online resource (737 p.)Texts in logic and games ;v. 2Description based upon print version of record.90-5356-576-0 Includes bibliographical references.Table of Contents; Preface; 1. On the topological complexity of tree languages; 2. Nonederministic controllers of nondeterministic preocesses; 3. Reachability in continuous-time Markov reward decision processes; 4. Logical theories and compatible operations; 5. Forest algebras; 6. Automata and semigroups recognizing infinite words; 7. Deterministic graph grammars; 8. Quantifier-free definable graph opreations preserving recognizability; 9. First-order definable languages; 10. Matrix-based complexity functions and recognizable picture languages11. Apllying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games12. Logic, graphs and algorithms; 13. Non-regular fixed-points logics and games; 14. The universal automaton; 15. Deterministic top-down tree automata: past, present, and future; 16. Expressive power of monadic logics on words, trees, pictures and graphs; 17. Structured strategies in games on graphs; 18. Counting in trees; 19. Modular quantifiers; 20. Automata: from logics to algorithmsThis collection of papers deal with challenges in disciplines such as complexity theory, games, algorithms and semi group theory and discuss current chellenges in this fieldTexts in logic and games ;v. 2.Machine theoryLogic, Symbolic and mathematicalComputer scienceMathematicsComputational complexityMachine theory.Logic, Symbolic and mathematical.Computer scienceMathematics.Computational complexity.511.3Flum Jorg0Gradel Erich1958-60991Wilke Thomas1965-905732MiAaPQMiAaPQMiAaPQBOOK9910146418703321Logic and automata2025874UNINA