Thierry Cachat (LIAFA)
Identifiers
- name variant Thierry Cachat (LIAFA) 0.60 · backfill
Papers (4)
- Attenuation Regulation as a Term Rewriting System q-bio.QM · 2007 · author #2
- The Complexity of Games on Higher Order Pushdown Automata cs.GT · 2007 · author #1
- Tree Automata Make Ordinal Theory Easy cs.GT · 2006 · author #1
- Controller synthesis & Ordinal Automata cs.GT · 2006 · author #1
Mentions
Frequent Coauthors
- Alexander Seliverstov (IITP) 1 shared papers
- Eugene Asarin (LIAFA) 1 shared papers
- Igor Walukiewicz (LaBRI) 1 shared papers
- Tayssir Touili (LIAFA) 1 shared papers
- Vassily Lyubetsky (IITP) 1 shared papers