Department of Information and Computing Sciences

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

technical reports : dr. P.M.W. Knijnenburg

Peter  Knijnenburg

select other reports

this selection

author dr. P.M.W. Knijnenburg

reports (6)

techrep_id file title / author
RUU-CS-93-03 pdf Algebraic Domains, Chain Completion and the Plotkin Powerdomain Construction
Peter Knijnenburg
RUU-CS-93-02 pdf A Note on the Smyth Powerdomain Construction
Peter Knijnenburg
RUU-CS-92-02 pdf An order-theoretic model for the algebra of communicating processes
P.M.W. Knijnenburg
RUU-CS-89-03 pdf On models for Propositional Dynamic Logic
P.M.W. Knijnenburg and J. van Leeuwen
RUU-CS-88-34 pdf On axiomatizations for propositional logics of programs
P.M.W. Knijnenburg
RUU-CS-88-15 pdf On randomizing decision problems; a survey of the theory of randomized NP
P.M.W. Knijnenburg

indexed (co) authors

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

BibTeX entries

@TECHREPORT{RUUCS9303,
author = {Knijnenburg, Peter},
year = 1993,
title = {Algebraic Domains, Chain Completion and the Plotkin Powerdomain Construction},
number = {RUU-CS-93-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-03.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9302,
author = {Knijnenburg, Peter},
year = 1993,
title = {A Note on the Smyth Powerdomain Construction},
number = {RUU-CS-93-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-02.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9202,
author = {Knijnenburg, P.M.W.},
year = 1992,
title = {An order-theoretic model for the algebra of communicating processes},
number = {RUU-CS-92-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-02.pdf}},
pubcat = {techreport}
}
@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}
}
@TECHREPORT{RUUCS8834,
author = {Knijnenburg, P.M.W.},
year = 1988,
title = {On axiomatizations for propositional logics of programs},
number = {RUU-CS-88-34},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-34.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8815,
author = {Knijnenburg, P.M.W.},
year = 1988,
title = {On randomizing decision problems; a survey of the theory of randomized NP},
number = {RUU-CS-88-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-15.pdf}},
pubcat = {techreport}
}