The operator gap theorem in α-recursion theory (Q4198498): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: A Machine-Independent Theory of the Complexity of Recursive Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Operator Gap / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The operator gap theorem in α-recursion theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On generalized computational complexity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Undecidability of Monadic Modal Quantification Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classes of computable functions defined by bounds on computation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The α-finite injury method / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2013339463 / rank | |||
Normal rank |
Latest revision as of 09:25, 30 July 2024
scientific article; zbMATH DE number 3639611
Language | Label | Description | Also known as |
---|---|---|---|
English | The operator gap theorem in α-recursion theory |
scientific article; zbMATH DE number 3639611 |
Statements
The operator gap theorem in α-recursion theory (English)
0 references
1978
0 references
alpha recursion theory
0 references
alpha complexity class
0 references
total alpha-effective operator
0 references
operator gap
0 references
computational complexity
0 references