Publication
-
$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 -
Spatial-scaling-compatible morphological granulometries on locally convex topological vector spaces In Proceedings
January 1992 -
Structured operational semantics and bisimulation as a congruence Article
Information and Computation, 100(2), 201-260.January 1992 -
Continuous Hahn polynomials of differential operator argument and analysis on Riemannian symmetric spaces of constant curvature Article
Canadian Journal of Mathematics, 44(4), 750-773.January 1992 -
Verification of parallel systems via decomposition In Proceedings
January 1992 -
A predicate transformer for unification In Proceedings
January 1992