Complexity Classes and Rewrite Systems with Polynomial Interpretation.

Guillaume Bonfante Adam Cichon Jean-Yves Marion Hélène Touzet

Published in: CSL (1998)

Keyphrases

rewrite systems
term rewriting
artificial intelligence
database
information systems
polynomial size
quantifier free