Search the dblp DataBase
Gianna Cioni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Sabina Bonamico, Gianna Cioni
Embedding Flexible Control Strategies into Object Oriented Languages. [Citation Graph (0, 0)][DBLP]
AAECC, 1988, pp:454-457 [Conf] - Claudio Arbib, Gianna Cioni
Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style. [Citation Graph (0, 0)][DBLP]
AIMSA, 1986, pp:55-61 [Conf] - Gianna Cioni, Attilio Colagrossi, Alfonso Miola
A Desk-Top Sequent Calculus Machine. [Citation Graph (0, 0)][DBLP]
AISMC, 1992, pp:224-236 [Conf] - Sabina Bonamico, Gianna Cioni, Attilio Colagrossi
An Enhanced Sequent Calculus for Reasoning in a Given Domain. [Citation Graph (0, 0)][DBLP]
DISCO, 1993, pp:369-373 [Conf] - Gianna Cioni, Attilio Colagrossi, Marco Temperini
An Approach to Class Reasoning in Symbolic Computation. [Citation Graph (0, 0)][DBLP]
DISCO, 1996, pp:240-251 [Conf] - Gianna Cioni, Antoni Kreczmar
Programmed Deallocation Without Dangling Reference. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1984, v:18, n:4, pp:179-187 [Journal] - Gianna Cioni, Attilio Colagrossi, Alfonso Miola
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1995, v:19, n:1-3, pp:175-199 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002