Login / Signup

Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems.

Aart Middeldorp
Published in: LPAR (2012)
Keyphrases
  • rewrite systems
  • finite state
  • term rewriting
  • active rules
  • artificial intelligence
  • quantifier free