Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical report RUU-CS-90-39

select other reports

report

techrep_id file title / author
RUU-CS-90-39 pdf On logic programming and the refinement calculus semantics based program transformations
J.N. Kok

indexed authors

author group
Kok, prof. dr. J.N. all reports Games and Virtual Worlds all reports

BibTeX entry

@TECHREPORT{RUUCS9039,
author = {Kok, J.N.},
year = 1990,
title = {On logic programming and the refinement calculus semantics based program transformations},
number = {RUU-CS-90-39},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-39.pdf}},
pubcat = {techreport}
}