Jaarboek 1974-1975 - pagina 174

Least fixed points revisited, in X-Calculus and Computer Science Theory (C. Böhm, ed.), Lecture Notes in Computer Science, Vol. 37. Springer (1975). pp. 27-61. Fixed point semantics and Dijkstra's fundamental invariance theorem. Rapport IW 29/75. Amsterdam, Mathematisch Centrum (1975). Flow of control in the proof theory of struclured programming. Proc. i6th Symp. on Foundations of Computer Science. Berkeley. IEEE (1975), pp. 29-33. Termination of nondeterministic programs. Rapport IW 50/75, Amsterdam. Mathematisch Centrum (1975). (editor) Foundations of Computer Science, Mathematical Centre Tract 63. Amsterdam. Mathematisch Centrum (1975). The fixed point approach in semantics: theory and applications, in Foundations of Computer Science (J, W. de Bakker, ed.). Mathematical Centre Tracts 63. Amsterdam. Mathematisch Centrum (1975). pp. 1-52. (redakteur) Programmacorrectheid, Mathematisch Centrum Syllabus 21, Amsterdam. Mathematisch Centrum (1975). Inleiding bewijsmethoden, in Programmacorrectheid (J. W. de Bakker, red.), Mathematisch Centrum Syllabus 21. Amsterdam. Mathematisch Centrum (1975), pp. 1-17. Een bewijsmethode voor recursievo procedures, in Programmacorrectheid (J. W. de Bakker, red.). Mathematisch Centrum Syllabus 21, Amsterdam. Mathematisch Centrum (1975)- PP- 111-126.

Niet met zoveel woorden - Over de taal der informatica. Inaugurele oratie, Vrije Universiteit (1974). Drs. P. P. N. de Groen Critical points of the degenerate operator in elliptic singular perturbation problems. Rapport ZW 28/75, Amsterdam. Mathematisch Centrum. Spectral properties of second order singularly pertubed boundary value problems with turning points. Rapport 39 Wiskundig Seminarium dor V.U. (preprint), te verschijnen in het ..Journal of Mathematical Analysis and Applications'". Dr. A. van Harten Singularly pertubed non-linear 2nd order elliptic boundary value problems; proefschrift R.U. Utrecht (1975), pp. 225. Drs. M. J. V/. Jansen, Dr. W. J. van der Steen Mathematics and methodology in experiments on density effects, illustrated by studies on the freshwater snail Lymnaea Stagnalis (L.); in: Proceedings Kon. Ned. Ak. van Wet.. Series C, 78. No. 2 (1975). Drs. J. van Mill A topological characterization of products of compact tree-like spaces, rapport 36. Wiskundig Seminarium Vrije Universiteit (1975). On supercompactness and superextensions, rapport 37. Wiskundig Seminarium Vrije Universiteit (1975). Wallman-typc compactifications. rapport 41, Wiskundig Seminarium Vrije Universiteit (1975)-

172

Deze tekst is geautomatiseerd gemaakt en kan nog fouten bevatten. Digibron werkt voortdurend aan correctie. Klik voor het origineel door naar de pdf. Voor opmerkingen, vragen, informatie: contact.

Op Digibron -en alle daarin opgenomen content- is het databankrecht van toepassing. Gebruiksvoorwaarden. Data protection law applies to Digibron and the content of this database. Terms of use.

Printen