ELM)
Identifiers
- name variant ELM) 0.60 · backfill
Papers (2)
- Highly Undecidable Problems about Recognizability by Tiling Systems cs.CC · 2008 · author #2
- Classical and Effective Descriptive Complexities of omega-Powers math.LO · 2007 · author #2
Mentions
Frequent Coauthors
- Olivier Finkel (LIP 2 shared papers
- Dominique Lecomte (UMR 7586) 1 shared papers