hmilogo

Publications with Impact-factor 0.622

 

1991

Journal Papers

M.M. Fokkinga An exercise in transformational programming: Backtracking and Branch-and-Bound, Science of Computer Programming, 16(1):19-48, ISSN 0167-6423, 1991 *** ISI Impact 0.622 *** [ BiBTeX Eprints  DOI>  Download PDF document

 

1987

Journal Papers

M.M. Fokkinga A correctness proof of sorting by means of formal procedures, Science of Computer Programming, 9(3):263-269, ISSN 0167-6423, 1987 *** ISI Impact 0.622 *** [ BiBTeX Eprints  DOI>  Download PDF document

old Parlevink website   colophon   [Back] .