Login / Signup

Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems.

Stefan GöllerAnthony Widjaja Lin
Published in: ACM Trans. Comput. Log. (2014)
Keyphrases
  • rewrite systems
  • term rewriting
  • quantifier free
  • knuth bendix
  • active rules
  • tree structure
  • development process
  • theorem prover
  • information systems
  • process model
  • index structure
  • spatial databases
  • modeling language