Publication
-
January 1994
-
GEL, a graph exchange language Tech Report
January 1994
-
January 1994 -
Program verification and prolog Tech Report
January 1994
-
On the power series algorithm Tech Report
January 1994
-
January 1994
-
Time integration of three-dimensional numerical transport models. A Festschrift to honor Professor Robert Vichnevetsky on his 65th birthday. Article
Applied Numerical Mathematics, 16(1-2), 201-225.January 1994 -
The logic of Peirce algebras Tech Report
January 1994