Publication
-
January 1982 -
Incremental polymorphic type checking in B Tech Report
January 1982 -
The GKS input facilities and how to use them Tech Report
January 1982 -
An optimal simulation of counter machines Tech Report
January 1982 -
Asymptotic methods in mathematical biology Tech Report
January 1982 -
January 1982 -
Een taalonafhankelijke benadering van prettyprinten [A language-independent approach of prettyprinting] Tech Report
January 1982 -
Conditions for exponential ergodicity and bounds for the Deacy parameters of a birth-death process Tech Report
January 1982