Gianna Cioni (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Gianna Cioni, Attilio Colagrossi, Marco Temperini: An Approach to Class Reasoning in Symbolic Computation. DISCO 1996: 240-251

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)

5 Sabina Bonamico, Gianna Cioni, Attilio Colagrossi: An Enhanced Sequent Calculus for Reasoning in a Given Domain. DISCO 1993: 369-373

4 Gianna Cioni, Attilio Colagrossi, Alfonso Miola: A Desk-Top Sequent Calculus Machine. AISMC 1992: 224-236

Selection of 4 from 7 records - Gianna Cioni has 6 coauthors

7		Gianna Cioni, Attilio Colagrossi, Marco Temperini: An Approach to Class Reasoning in Symbolic Computation. DISCO 1996: 240-251
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)
5		Sabina Bonamico, Gianna Cioni, Attilio Colagrossi: An Enhanced Sequent Calculus for Reasoning in a Given Domain. DISCO 1993: 369-373
4		Gianna Cioni, Attilio Colagrossi, Alfonso Miola: A Desk-Top Sequent Calculus Machine. AISMC 1992: 224-236