Electronic Notes in Theoretical Computer Science, Volume 251

Volume 251, September 2009

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CeskaKKMV09
- ask others
Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar: Preface. 1-3
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Brozek09
- ask others
Václav Brozek: Regularity in PDA Games Revisited. 5-16
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Fialik09
- ask others
Ivan Fialík: Noise and the Mermin-GHZ Game. 17-26
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AbdullaHKV09
- ask others
Parosh Aziz Abdulla, Lukás Holík, Lisa Kaati, Tomás Vojnar: A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. 27-48
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Kuhnrich09
- ask others
Morten Kühnrich: Formal Model-Driven Design of Distributed Algorithms. 49-64
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KneisL09
- ask others
Joachim Kneis, Alexander Langer: A Practical Approach to Courcelle's Theorem. 65-81
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/LonsingB09
- ask others
Florian Lonsing, Armin Biere: Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers. 83-95