| Original language | Undefined |
|---|---|
| Title of host publication | Colloquium Programmacorrectheid |
| Editors | J.W. de Bakker |
| Place of Publication | Amsterdam, The Netherlands |
| Publisher | Mathematical Centre |
| Pages | 151-165 |
| Number of pages | 15 |
| ISBN (Print) | 90-6196-103-3 |
| Publication status | Published - 1975 |
Publication series
| Name | Mathematical Centre Syllabus |
|---|---|
| Publisher | Mathematical Centre |
| Volume | 21 |
Keywords
- EWI-8217
Cite this
Fokkinga, M. M. (1975). Recursieve procedures en eenvoudige inductie asserties. In J. W. de Bakker (Ed.), Colloquium Programmacorrectheid (pp. 151-165). (Mathematical Centre Syllabus; Vol. 21). Amsterdam, The Netherlands: Mathematical Centre.