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

publications by dr. P.M.W. Knijnenburg

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. P.M.W. Knijnenburg

• contact information
• my technical reports
• former member of group algorithmic systems

some publications

Knijnenburg, P.M.W. (1993). A Note on the Smyth Powerdomain Construction. (RUU-CS93-02 ). Utrecht.

Knijnenburg, P.M.W. (1993). Algebraic Domains, Chain Completion and the Plotkin Powerdomain Construction. (RUU-CS93-03 ). Utrecht.

Knijnenburg, P.M.W. (1992). An order-theoretic model for the algebra of communicating processes. (RUU-CS92-02 ). Utrecht.

Knijnenburg, P.M.W. & Leeuwen, J. van (1989). On models for Propositional Dynamic Logic. (RUU-CS89-03 ). Utrecht.

Knijnenburg, P.M.W. (1988). On axiomatizations for propositional logics of programs. (RUU-CS88-34 ). Utrecht.

Knijnenburg, P.M.W. (1988). On randomizing decision problems; a survey of the theory of randomized NP. (RUU-CS88-15 ). Utrecht.