A term rewriting characterization of the functions computable in polynomial space (Q1407521)
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 functions computable in polynomial space |
scientific article; zbMATH DE number 1982458
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A term rewriting characterization of the functions computable in polynomial space |
scientific article; zbMATH DE number 1982458 |
Statements
A term rewriting characterization of the functions computable in polynomial space (English)
0 references
16 September 2003
0 references
term rewriting
0 references
polyspace functions
0 references
recursive functions
0 references
recursion schemes
0 references
0.90770805
0 references
0.8986415
0 references
0.8840272
0 references
0.8794171
0 references
0.8763153
0 references
0.87449735
0 references
