Publication
-
A logic for variable aliasing in logic programs Tech Report
January 1994
-
Verification of an audio control protocol Tech Report
January 1994
-
MOVGRD Software
January 1994 -
Stability estimates based on numerical ranges with an application to a spectral method Article
BIT : Numerical Mathematics, 34(2), 228-238.January 1994 -
January 1994
-
The integration project for the JACK environment Tech Report
January 1994
-
January 1994
-
The Wouthuysen equation Book Chapter
January 1994