Login / Signup

Complement Problems and Tree Automata in AC-like Theories (Extended Abstract).

Denis LugiezJ. L. Moysset
Published in: STACS (1993)
Keyphrases
  • extended abstract
  • tree automata
  • np complete
  • database
  • data model
  • finite automata