Marcilia A. Campos

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Marcilia A. Campos, Augusto C. A. Sampaio, Alexandre H. F. Brainer
Mechanising the theory of intervals using OBJ3. Reliab. Comput. 2 (2) (1996)
Marcilia A. Campos, Erich-Peter Klement, Vladik Kreinovich
WAI'96: II Workshop on Computer Arithmetic, Interval and Symbolic Computation. Reliab. Comput. 2 (4) (1996)