Gianna Cioni

Publication Activity (10 Years)

Years Active: 1976-1998
Publications (10 Years): 0

Publications

Bo Yi, XianPing Tao, Gianna Cioni, Attilio Colagrossi
Intuitive minimal abduction in sequent calculi. J. Comput. Sci. Technol. 13 (3) (1998)
Gianna Cioni, Attilio Colagrossi, Marco Temperini
An Approach to Class Reasoning in Symbolic Computation. DISCO (1996)
Gianna Cioni, Attilio Colagrossi, Alfonso Miola
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems. J. Symb. Comput. 19 (1-3) (1995)
Sabina Bonamico, Gianna Cioni, Attilio Colagrossi
An Enhanced Sequent Calculus for Reasoning in a Given Domain. DISCO (1993)
Gianna Cioni, Attilio Colagrossi, Alfonso Miola
A Desk-Top Sequent Calculus Machine. AISMC (1992)
Sabina Bonamico, Gianna Cioni
Embedding Flexible Control Strategies into Object Oriented Languages. AAECC (1988)
Claudio Arbib, Gianna Cioni
Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style. AIMSA (1986)
Gianna Cioni, Antoni Kreczmar
Programmed Deallocation Without Dangling Reference. Inf. Process. Lett. 18 (4) (1984)
Gianna Cioni, Alfonso Miola
Using minicomputers for algebraic computations. SIGSAM Bull. 10 (4) (1976)