Login / Signup

Regular Sets of Descendants for Constructor-Based Rewrite Systems.

Pierre Réty
Published in: LPAR (1999)
Keyphrases
  • rewrite systems
  • term rewriting
  • quantifier free
  • active rules
  • knuth bendix
  • xml documents
  • query processing
  • data model
  • programming language
  • theorem proving