Knijnenburg, P.M.W. (Petrus Marinus Waltherus), 1961-
Knijnenburg, Peter
Knijnenburg, P. M.W.
Peter Knijnenburg Ph.D. Universiteit Utrecht 1993
Knijnenburg, Petrus Marinus Waltherus
VIAF ID: 122134558 (Personal)
Permalink: http://viaf.org/viaf/122134558
Preferred Forms
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Algebraic domains, chain completion and the Plotkin powerdomain construction | |
On models for propositional dynamic logic | |
On randomizing decision problems : a survey of the theory of randomized NP | |
Order-theoretic and categorical approaches to programming language semantics | |
An order-theoretic model for the algebra of communicating processes |