Logic and Automata

Keyphrases

Publications

2008

Mikolaj Bojanczyk, Igor Walukiewicz
Forest algebras. Logic and Automata (2008)
Howard Straubing, Denis Thérien
Modular quantifiers. Logic and Automata (2008)
André Arnold, Igor Walukiewicz
Nondeterministic controllers of nondeterministic processes. Logic and Automata (2008)
Oliver Matz, Nicole Schweikardt
Expressive power of monadic logics on words, trees, pictures, and graphs. Logic and Automata (2008)
Bruno Courcelle
Quantifier-free definable graph operations preserving recognizability. Logic and Automata (2008)
Didier Caucal
Deterministic graph grammars. Logic and Automata (2008)
André Arnold, Jacques Duparc, Filip Murlak, Damian Niwinski
On the topological complexity of tree languages. Logic and Automata (2008)
Moshe Y. Vardi, Thomas Wilke
Automata: from logics to algorithms. Logic and Automata (2008)
Wim Martens, Frank Neven, Thomas Schwentick
Deterministic top-down tree automata: past, present, and future. Logic and Automata (2008)
Achim Blumensath, Thomas Colcombet, Christof Löding
Logical theories and compatible operations. Logic and Automata (2008)
Dora Giammarresi, Antonio Restivo
Matrix-based complexity functions and recognizable picture languages. Logic and Automata (2008)
Hugo Gimbert, Wieslaw Zielonka
Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games. Logic and Automata (2008)
Olivier Carton, Dominique Perrin, Jean-Eric Pin
Automata and semigroups recognizing infinite words. Logic and Automata (2008)
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Reachability in continuous-time Markov reward decision processes. Logic and Automata (2008)
Volker Diekert, Paul Gastin
First-order definable languages. Logic and Automata (2008)
Stephan Kreutzer, Martin Lange
Non-regular fixed-point logics and games. Logic and Automata (2008)
Sylvain Lombardy, Jacques Sakarovitch
The universal automaton. Logic and Automata (2008)
Ramaswamy Ramanujam, Sunil Easaw Simon
Structured strategies in games on graphs. Logic and Automata (2008)
Martin Grohe
Logic, graphs, and algorithms. Logic and Automata (2008)
Helmut Seidl, Thomas Schwentick, Anca Muscholl
Counting in trees. Logic and Automata (2008)

volume 2, 2008

Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. Logic and Automata 2 (2008)