default search action

combined dblp search
author search
venue search
publication search

ask others

4th MEMICS 2008: Znojmo, Czech Republic

> Home > Conferences and Workshops > MEMICS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/memics/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/2008
Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar:
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2008, Znojmo, Czech Republic, November 14-16, 2008. Electronic Notes in Theoretical Computer Science 251, Elsevier 2009
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CeskaKKMV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CeskaKKMV09
Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar:
Preface. 1-3
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Brozek09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Brozek09
Václav Brozek:
Regularity in PDA Games Revisited. 5-16
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Fialik09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Fialik09
Ivan Fialík:
Noise and the Mermin-GHZ Game. 17-26
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AbdullaHKV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AbdullaHKV09
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 via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Kuhnrich09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Kuhnrich09
Morten Kühnrich:
Formal Model-Driven Design of Distributed Algorithms. 49-64
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KneisL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KneisL09
Joachim Kneis, Alexander Langer:
A Practical Approach to Courcelle's Theorem. 65-81
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LonsingB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LonsingB09
Florian Lonsing, Armin Biere:
Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers. 83-95

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.