Login / Signup

Infinite String Rewrite Systems and Complexity.

Jean-Camille Birget
Published in: J. Symb. Comput. (1998)
Keyphrases
  • rewrite systems
  • term rewriting
  • data structure
  • knuth bendix
  • databases
  • fine grained
  • quantifier free