The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gianna Cioni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sabina Bonamico, Gianna Cioni
    Embedding Flexible Control Strategies into Object Oriented Languages. [Citation Graph (0, 0)][DBLP]
    AAECC, 1988, pp:454-457 [Conf]
  2. 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]
  3. Gianna Cioni, Attilio Colagrossi, Alfonso Miola
    A Desk-Top Sequent Calculus Machine. [Citation Graph (0, 0)][DBLP]
    AISMC, 1992, pp:224-236 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002