| 1996 |
|---|
| 7 | | Gianna Cioni,
Attilio Colagrossi,
Marco Temperini:
An Approach to Class Reasoning in Symbolic Computation.
DISCO 1996: 240-251 |
| 1995 |
|---|
| 6 | | Gianna Cioni,
Attilio Colagrossi,
Alfonso Miola:
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems.
J. Symb. Comput. 19(1-3): 175-199 (1995) |
| 1993 |
|---|
| 5 | | Sabina Bonamico,
Gianna Cioni,
Attilio Colagrossi:
An Enhanced Sequent Calculus for Reasoning in a Given Domain.
DISCO 1993: 369-373 |
| 1992 |
|---|
| 4 | | Gianna Cioni,
Attilio Colagrossi,
Alfonso Miola:
A Desk-Top Sequent Calculus Machine.
AISMC 1992: 224-236 |
| 1988 |
|---|
| 3 | | Sabina Bonamico,
Gianna Cioni:
Embedding Flexible Control Strategies into Object Oriented Languages.
AAECC 1988: 454-457 |
| 1986 |
|---|
| 2 | | Claudio Arbib,
Gianna Cioni:
Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style.
AIMSA 1986: 55-61 |
| 1984 |
|---|
| 1 | | Gianna Cioni,
Antoni Kreczmar:
Programmed Deallocation Without Dangling Reference.
Inf. Process. Lett. 18(4): 179-187 (1984) |
