Recursieve procedures en eenvoudige inductie asserties

M.M. Fokkinga

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

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

Name	Mathematical Centre Syllabus
Publisher	Mathematical Centre
Volume	21

Keywords

@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",

}