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.