Department of Information and Computing Sciences

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

technical report RUU-CS-89-03

select other reports


techrep_id file title / author
RUU-CS-89-03 pdf On models for Propositional Dynamic Logic
P.M.W. Knijnenburg and J. van Leeuwen

indexed authors

author group
Knijnenburg, dr. P.M.W. all reports Algorithmic Systems all reports
Leeuwen, prof. dr. (em.) J. van all reports Algorithmic Systems all reports

BibTeX entry

author = {Knijnenburg, P.M.W. and Leeuwen, J.~van},
year = 1989,
title = {On models for Propositional Dynamic Logic},
number = {RUU-CS-89-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{}},
pubcat = {techreport}