A term rewriting characterization of the polytime functions and related complexity classes (Q1354329)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A term rewriting characterization of the polytime functions and related complexity classes |
scientific article |
Statements
A term rewriting characterization of the polytime functions and related complexity classes (English)
0 references
2 June 1997
0 references
term rewriting
0 references
Bellantoni Cook schemata of predicative recursion
0 references
polynomial time computable functions
0 references
derivation lengths
0 references
exponential time
0 references
predicative parameter substitution
0 references
