P.M.W. Knijnenburg

发表

Special Issue: 10th International Workshop on Compilers for Parallel Computers (CPC 2003): Editorials

P.M.W. Knijnenburg, 2006 .

Algebraic Domains, Chain Completion and the Plotkin Powerdomain Construction

P.M.W. Knijnenburg, 1993 .

On axiomatizations for propositional logics of programs

P.M.W. Knijnenburg, P. Knijnenburg, 1988 .