Publication
-
Application of a moving-grid method to a class of 1D brine transport problems in porous media Tech Report
January 1991
-
An improved accuracy version of the mixed finite element method for a second order elliptic equation Tech Report
January 1991
-
January 1991
-
CCS for OO and LP Tech Report
January 1991
-
Rendez-vous with metric semantics Tech Report
January 1991
-
Loop checking in partial deduction Tech Report
January 1991
-
Real space process algebra Tech Report
January 1991
-
Term rewriting analysis in process algebra Tech Report
January 1991