Login / Signup

The Complexity of Verifying Ground Tree Rewrite Systems.

Stefan GöllerAnthony Widjaja Lin
Published in: LICS (2011)
Keyphrases
  • rewrite systems
  • database
  • term rewriting
  • tree structure
  • artificial intelligence
  • expert systems
  • first order logic
  • quantifier free