Login / Signup
A Path Order for Rewrite Systems that Compute Exponential Time Functions (Technical Report)
Martin Avanzini
Naohi Eguchi
Georg Moser
Published in:
CoRR (2010)
Keyphrases
</>
technical report
query processing
database
programming language
rewrite systems