Login / Signup

Inductively Sequential Term-Graph Rewrite Systems.

Rachid Echahed
Published in: ICGT (2008)
Keyphrases
  • rewrite systems
  • term rewriting
  • knuth bendix
  • quantifier free
  • data structure
  • software engineering
  • theorem prover
  • active rules