A term rewriting characterization of the polytime functions and related complexity classes
| Date first appeared online | |
| DOI | 10.1007/s001530050054 |
| Authors | Beckmann A. |
| Journal Name | Archive for Mathematical Logic |
| Volume | 36 |
| Date first appeared online | |
| DOI | 10.1007/s001530050054 |
| Authors | Beckmann A. |
| Journal Name | Archive for Mathematical Logic |
| Volume | 36 |