LEADER 03133nam  2200649 a 450 
001 9910146418703321
005 20200520144314.0
010   $a90-485-0128-8
035   $a(CKB)1000000000486824
035   $a(EBL)419849
035   $a(OCoLC)232968063
035   $a(SSID)ssj0000193834
035   $a(PQKBManifestationID)11166317
035   $a(PQKBTitleCode)TC0000193834
035   $a(PQKBWorkID)10246395
035   $a(PQKB)10592209
035   $a(MiAaPQ)EBC419849
035   $a(Au-PeEL)EBL419849
035   $a(CaPaEBR)ebr10302747
035   $a(EXLCZ)991000000000486824
100   $a20091013d2008      uy         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 00$aLogic and automata $ehistory and perspectives /$fedited by Jorg Flum, Erich Gradel, and Thomas Wilke
205   $a1st ed.
210   $aAmsterdam $cAmsterdam University Press$dc2008
215   $a1 online resource (737 p.)
225 1 $aTexts in logic and games ;$vv. 2
300   $aDescription based upon print version of record.
311   $a90-5356-576-0 
320   $aIncludes bibliographical references.
327   $aTable 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 languages
327   $a11. 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 algorithms
330   $aThis collection of papers deal with challenges in disciplines such as complexity theory, games, algorithms and semi group theory and discuss current chellenges in this field
410  0$aTexts in logic and games ;$vv. 2.
606   $aMachine theory
606   $aLogic, Symbolic and mathematical
606   $aComputer science$xMathematics
606   $aComputational complexity
615  0$aMachine theory.
615  0$aLogic, Symbolic and mathematical.
615  0$aComputer science$xMathematics.
615  0$aComputational complexity.
676   $a511.3
701   $aFlum$b Jorg$00
701   $aGradel$b Erich$f1958-$060991
701   $aWilke$b Thomas$f1965-$0905732
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910146418703321
996   $aLogic and automata$92025874
997   $aUNINA