Recursieve procedures en eenvoudige inductie asserties

M.M. Fokkinga

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Original languageUndefined
Title of host publicationColloquium Programmacorrectheid
EditorsJ.W. de Bakker
Place of PublicationAmsterdam, The Netherlands
PublisherMathematical Centre
Pages151-165
Number of pages15
ISBN (Print)90-6196-103-3
Publication statusPublished - 1975

Publication series

NameMathematical Centre Syllabus
PublisherMathematical Centre
Volume21

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.
Fokkinga, M.M. / Recursieve procedures en eenvoudige inductie asserties. Colloquium Programmacorrectheid. editor / J.W. de Bakker. Amsterdam, The Netherlands : Mathematical Centre, 1975. pp. 151-165 (Mathematical Centre Syllabus).
@inbook{a5641fa0b635402cb834ee3b06d176d5,
title = "Recursieve procedures en eenvoudige inductie asserties",
keywords = "EWI-8217",
author = "M.M. Fokkinga",
year = "1975",
language = "Undefined",
isbn = "90-6196-103-3",
series = "Mathematical Centre Syllabus",
publisher = "Mathematical Centre",
pages = "151--165",
editor = "{de Bakker}, J.W.",
booktitle = "Colloquium Programmacorrectheid",

}

Fokkinga, MM 1975, Recursieve procedures en eenvoudige inductie asserties. in JW de Bakker (ed.), Colloquium Programmacorrectheid. Mathematical Centre Syllabus, vol. 21, Mathematical Centre, Amsterdam, The Netherlands, pp. 151-165.

Recursieve procedures en eenvoudige inductie asserties. / Fokkinga, M.M.

Colloquium Programmacorrectheid. ed. / J.W. de Bakker. Amsterdam, The Netherlands : Mathematical Centre, 1975. p. 151-165 (Mathematical Centre Syllabus; Vol. 21).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

TY - CHAP

T1 - Recursieve procedures en eenvoudige inductie asserties

AU - Fokkinga, M.M.

PY - 1975

Y1 - 1975

KW - EWI-8217

M3 - Chapter

SN - 90-6196-103-3

T3 - Mathematical Centre Syllabus

SP - 151

EP - 165

BT - Colloquium Programmacorrectheid

A2 - de Bakker, J.W.

PB - Mathematical Centre

CY - Amsterdam, The Netherlands

ER -

Fokkinga MM. Recursieve procedures en eenvoudige inductie asserties. In de Bakker JW, editor, Colloquium Programmacorrectheid. Amsterdam, The Netherlands: Mathematical Centre. 1975. p. 151-165. (Mathematical Centre Syllabus).