A Path Order for Rewrite Systems that Compute Exponential Time Functions.

Martin Avanzini Naohi Eguchi Georg Moser

Published in: RTA (2011)

Keyphrases

rewrite systems
database
information systems