hmilogo

Publications of the year 1974 (2)

 

1974

Contributions to Proceedings

M.M. Fokkinga Inductive assertions patterns for recursive procedures, in Proceedings of the Programming Symposium, B. Robinet (eds), Lecture Notes in Computer Science, volume 19, Springer Verlag, Berlin, ISBN 3-540-06859-7, ISSN 0302-9743, pp. 221-233, 1974 [ BiBTeX Eprints  DOI>  Download PDF document

 

Reports

P.R.J. Asveld Enkele onderwerpen uit de theorie der berekenbaarheid, Memorandum, 48, Enschede, Department of Applied Mathematics, University of Twente, Pages: 68, 1974 [ BiBTeX Eprints 

old Parlevink website   colophon   [Back] .