Login / Signup

Senescent ground tree rewrite systems.

Matthew Hague
Published in: CSL-LICS (2014)
Keyphrases
  • rewrite systems
  • term rewriting
  • tree structure
  • knuth bendix
  • active rules
  • quantifier free
  • theorem prover
  • index structure
  • first order logic
  • expert systems
  • r tree
  • b tree