Towards a Definition of an Algorithm (Q3006116)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards a Definition of an Algorithm |
scientific article |
Statements
Towards a Definition of an Algorithm (English)
0 references
10 June 2011
0 references
formal algorithms
0 references
equivalence of programs
0 references
operads
0 references
Grzegorczyk's hierarchy
0 references
