Department of Information and Computing Sciences

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

technical report RUU-CS-93-09

select other reports


techrep_id file title / author
RUU-CS-93-09 pdf Isomorphisms between Predicate and State Transformers
Marcello Bonsangue and Joost N. Kok

indexed authors

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

BibTeX entry

author = {Bonsangue, Marcello and Kok, Joost~N.},
year = 1993,
title = {Isomorphisms between Predicate and State Transformers},
number = {RUU-CS-93-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{}},
pubcat = {techreport}