Publication
-
Meeting - A simple teleconferencing tool Presentation
January 1992
-
January 1992
-
Non-well-founded sets and programming language semantics In Proceedings
January 1992 -
Abstract topological dynamics In Proceedings
January 1992 -
Abstraction in real time process algebra In Proceedings
January 1992 -
$q$-special functions and their occurrence in quantum groups In Proceedings
January 1992 -
Influence of memory systems on vector processor performance Article
Applied Numerical Mathematics, 10(1), 59-72.January 1992 -
Dynamic interpretation and Hoare deduction Article
Journal of Logic, Language and Information, 1(1), 1-44.January 1992