Proving algorithms by tail functions (Q5639702)
From MaRDI portal
scientific article; zbMATH DE number 3366909
Language | Label | Description | Also known as |
---|---|---|---|
English | Proving algorithms by tail functions |
scientific article; zbMATH DE number 3366909 |
Statements
Proving algorithms by tail functions (English)
0 references
1971
0 references