Q3925864 (Q3925864): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: author (P16): Item:Q2502269 |
||
Property / author | |||
Property / author: Klaus Indermark / rank | |||
Revision as of 16:14, 1 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article |
Statements
1980
0 references
algebraic recursion theory
0 references
omega algebra
0 references
derived operations
0 references
omega trees
0 references
algebraic treatment of control structures
0 references
rational schemes
0 references