A Path Order for Rewrite Systems that Compute Exponential Time Functions (Q5389077)
From MaRDI portal
scientific article; zbMATH DE number 6027834
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Path Order for Rewrite Systems that Compute Exponential Time Functions |
scientific article; zbMATH DE number 6027834 |
Statements
24 April 2012
0 references
runtime complexity
0 references
exponential time functions
0 references
implicit computational complexity
0 references
A Path Order for Rewrite Systems that Compute Exponential Time Functions (English)
0 references
