Publication
-
Term rewriting systems: a tutorial Tech Report
January 1987 -
Geometry and graphics applied to robotics Tech Report
January 1987 -
On proving register atomicity Tech Report
January 1987 -
January 1987 -
Implementation of elementary functions in ADA Tech Report
January 1987 -
January 1987 -
January 1987 -
Modelling and filtering of freeway traffic flow Tech Report
January 1987