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