Publications of M. Regio

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Regio M., in the category ALL (or show them all):   (Items found: 3)


1990  [top]
  • Limongelli C., Mele M.B., Regio M., Temperini M.: Abstract Specification of Mathematical Structures and Methods, in the Proceedings of DISCO'90, Miola A. ed., Lecture Notes in Computer Science, 429, Springer-Verlag, 61-70, 1990
  • Regio M., Temperini M.: Implementation and Manipulation of Formal Objects: an Object Oriented view, in the Proceedings of Personal and Small Computers, 1990
  • Regio M., Temperini M.: Object Oriented Methodology for the Specification and the Treatment of Mathematical Objects, in the Proceedings of Computer Systems and Applications, Balagurusamy E., Sushila B. eds., Tata McGraw Hill Hyderabad, 1990
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -