home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

technical report RUU-CS-89-03

select other reports

• technical report index page

report

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. J. van	all reports	algorithmic systems	all reports

BibTeX entry

@TECHREPORT{RUUCS8903,
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 = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-03.pdf}},
pubcat = {techreport}
}