| 2001 |
|---|
| 14 | EE | Andrea Formisano,
Eugenio G. Omodeo,
Marco Temperini:
Instructing Equational Set-Reasoning with Otter.
IJCAR 2001: 152-167 |
| 13 | EE | Andrea Formisano,
Eugenio G. Omodeo,
Marco Temperini:
Layered map reasoning: An experimental approach put to trial on sets.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 2000 |
|---|
| 12 | | Andrea Formisano,
Eugenio G. Omodeo,
Marco Temperini:
Goals and Benchmarks for Automated Map Reasoning.
J. Symb. Comput. 29(2): 259-297 (2000) |
| 1998 |
|---|
| 11 | | Andrea Formisano,
Eugenio G. Omodeo,
Marco Temperini:
Plan of Activities on the Map Calculus.
APPIA-GULP-PRODE 1998: 343-356 |
| 1996 |
|---|
| 10 | | Carla Limongelli,
Giuseppina Malerba,
Marco Temperini:
Uniform Representation of Basic Algebraic Structures in Computer Algebra.
DISCO 1996: 202-203 |
| 9 | | Gianna Cioni,
Attilio Colagrossi,
Marco Temperini:
An Approach to Class Reasoning in Symbolic Computation.
DISCO 1996: 240-251 |
| 1995 |
|---|
| 8 | | Paolo Di Blasio,
Marco Temperini:
Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems.
J. Symb. Comput. 19(1-3): 39-63 (1995) |
| 1993 |
|---|
| 7 | | Paolo Di Blasio,
Marco Temperini:
Subtyping Inheritance in Languages for Symbolic Computation Systems.
DISCO 1993: 107-121 |
| 6 | | Carla Limongelli,
Marco Temperini:
On the Uniform Representation of Mathematical Data Structures.
DISCO 1993: 319-330 |
| 1992 |
|---|
| 5 | | Carla Limongelli,
Marco Temperini:
Abstract Specification of Structures and Methods in Symbolic Mathematical Computation.
Theor. Comput. Sci. 104(1): 89-107 (1992) |
| 1991 |
|---|
| 4 | | Carla Limongelli,
Alfonso Miola,
Marco Temperini:
Design and Implementation of Symbolic Computation Systems.
Programming Environments for High-Level Scientific Problem Solving 1991: 217-227 |
| 1990 |
|---|
| 3 | | Giorgio Forcellese,
Marco Temperini:
Towards A Logic Language: An Object-Oriented Implementation Of The Connection Method.
DISCO 1990: 280-281 |
| 2 | | Carla Limongelli,
M. Beatrice Mele,
Mauro Regio,
Marco Temperini:
Abstract Specification Of Mathematical Structures And Methods.
DISCO 1990: 61-70 |
| 1 | EE | Mauro Regio,
Marco Temperini:
Implementation and Manipulation of Formal Objects: An Object-Oriented View.
SIGSMALL/PC Symposium 1990: 283-287 |
