Publication
-
Uniform abstraction, atomicity and contractions in the comparative semantics of concurrent PROLOG Tech Report
January 1988 -
January 1988 -
LINPACK routines based on the level 2 BLAS Tech Report
January 1988 -
Robustness improvement of point Gauss-Seidel relaxation for steady, hypersonic flow computations Tech Report
January 1988 -
January 1988 -
January 1988 -
Nongaussian linear filtering, identification of linear systems, and the symplectic group Tech Report
January 1988 -
Representations of the twisted SU(2) quantum group and some q-hypergeometric orthogonal polynomials Tech Report
January 1988