Logic and automata : history and perspectives / edited by Jorg Flum, Erich Gradel, and Thomas Wilke.

Format:

Book

Contributor:

Flum, Jörg.

Grädel, Erich, 1958-

Wilke, Thomas, 1965-

Series:

Texts in logic and games ; v. 2.

Texts in logic and games ; v. 2

Language:

English

Subjects (All):

Machine theory.

Logic, Symbolic and mathematical.

Computer science--Mathematics.

Computer science.

Computational complexity.

Physical Description:

1 online resource (737 p.)

Edition:

1st ed.

Place of Publication:

Amsterdam : Amsterdam University Press, c2008.

Language Note:

English

Summary:

This 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

Contents:

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 languages

11. 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

Notes:

Description based upon print version of record.

Includes bibliographical references.

CC BY-NC-ND

ISBN:

9789048501281

9048501288

OCLC:

232968063

Publisher Number:

10.5117/9789053565766