Jörg Flum, Erich Grädel, Thomas Wilke (Eds.):
Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].
Texts in Logic and Games 2 Amsterdam University Press 2008, ISBN 978-90-5356-576-6
- André Arnold, Jacques Duparc, Filip Murlak, Damian Niwinski:
On the topological complexity of tree languages.
9-28
- André Arnold, Igor Walukiewicz:
Nondeterministic controllers of nondeterministic processes.
29-52
- Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Reachability in continuous-time Markov reward decision processes.
53-72
- Achim Blumensath, Thomas Colcombet, Christof Löding:
Logical theories and compatible operations.
73-106
- Mikolaj Bojanczyk, Igor Walukiewicz:
Forest algebras.
107-132
- Olivier Carton, Dominique Perrin, Jean-Eric Pin:
Automata and semigroups recognizing infinite words.
133-168
- Didier Caucal:
Deterministic graph grammars.
169-250
- Bruno Courcelle:
Quantifier-free definable graph operations preserving recognizability.
251-260
- Volker Diekert, Paul Gastin:
First-order definable languages.
261-306
- Dora Giammarresi, Antonio Restivo:
Matrix-based complexity functions and recognizable picture languages.
307-330
- Hugo Gimbert, Wieslaw Zielonka:
Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games.
331-356
- Martin Grohe:
Logic, graphs, and algorithms.
357-422
- Stephan Kreutzer, Martin Lange:
Non-regular fixed-point logics and games.
423-456
- Sylvain Lombardy, Jacques Sakarovitch:
The universal automaton.
457-504
- Wim Martens, Frank Neven, Thomas Schwentick:
Deterministic top-down tree automata: past, present, and future.
505-530
- Oliver Matz, Nicole Schweikardt:
Expressive power of monadic logics on words, trees, pictures, and graphs.
531-552
- Ramaswamy Ramanujam, Sunil Easaw Simon:
Structured strategies in games on graphs.
553-574
- Helmut Seidl, Thomas Schwentick, Anca Muscholl:
Counting in trees.
575-612
- Howard Straubing, Denis Thérien:
Modular quantifiers.
613-628
- Moshe Y. Vardi, Thomas Wilke:
Automata: from logics to algorithms.
629-736
Last update Tue May 22 23:23:10 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page