A recursion-theoretic characterisation of the positive polynomial-time functions (Q5079742)
From MaRDI portal
scientific article; zbMATH DE number 7533343
Language | Label | Description | Also known as |
---|---|---|---|
English | A recursion-theoretic characterisation of the positive polynomial-time functions |
scientific article; zbMATH DE number 7533343 |
Statements
28 May 2022
0 references
monotone complexity
0 references
positive complexity
0 references
function classes
0 references
function algebras
0 references
recursion-theoretic characterisations
0 references
implicit complexity
0 references
logic
0 references
A recursion-theoretic characterisation of the positive polynomial-time functions (English)
0 references