A term rewriting characterization of the polytime functions and related complexity classes (Q1354329)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A term rewriting characterization of the polytime functions and related complexity classes |
scientific article; zbMATH DE number 1006567
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A term rewriting characterization of the polytime functions and related complexity classes |
scientific article; zbMATH DE number 1006567 |
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
