Sign in

Bottom-Up Tree Pushdown Automata and Rewrite Systems.

Jean-Luc CoquidéMax DauchetRémi GilleronSándor Vágvölgyi
Published in: RTA (1991)
Keyphrases
  • rewrite systems
  • term rewriting
  • tree automata
  • tree structure
  • quantifier free
  • active rules
  • knuth bendix
  • information systems
  • model checking
  • database