The logic of recursive equations (Q4212915): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q3992568 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5287508 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A model of concurrency with fair merge and full recursion / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Categorial generalization of algebraic recursion theory / rank | |||
Normal rank | |||
Latest revision as of 15:32, 28 May 2024
scientific article; zbMATH DE number 1208083
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The logic of recursive equations |
scientific article; zbMATH DE number 1208083 |
Statements
The logic of recursive equations (English)
0 references
27 April 1999
0 references
functional language of recursion
0 references
iteration theory
0 references
fragments of FLR
0 references
category of structures
0 references
