Marcilia A. Campos

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
]'his work uses the OBJ3 term rewriting system to fi!rmalize the type interval thnmgh .~mle of its algebraic and tOlx)logical pr¢~perties. The intended contribution is not the discovery of new theorems related to numeric',al or interval arithn!etic. Rather, our ail]t is to fiwnlally specify the type interval with the view of performing trmchanical(More)
The main purpose of the workshop was to bring together researchers interested in scientific computation and related topics and to present and discuss recent advances in this branch of computer science and its applications. Total about 27 talks and 10 posters were presented. 81 participants fi'om 8 countries and the USA) attended the workshop. The major(More)
  • 1