The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Camillo Fiorentini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
    A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:488-502 [Conf]
  2. Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
    A formal framework for synthesis and verification of logic programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  3. Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
    A Formal Framework for Synthesis and Verification of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:1-17 [Conf]
  4. Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi
    Extracting Exact Time Bounds from Logical Proofs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:245-266 [Conf]
  5. Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
    On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:175-189 [Conf]
  6. Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
    Tableau Calculi for the Logics of Finite k-Ary Trees. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:115-129 [Conf]
  7. Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
    ESBC: an application for computing stabilization bounds. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:23-33 [Journal]
  8. Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano
    A Constructive Object Oriented Modeling Language for Information Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:55-75 [Journal]
  9. Camillo Fiorentini, Pierangelo Miglioli
    A Cut-free Sequent Calculus for the Logic of Constant Domains with a Limited Amount of Duplications. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:6, pp:733-753 [Journal]
  10. Camillo Fiorentini
    All Intermediate Logics with Extra Axions in One Variable, Except Eight, Are Not Strongly omega-Complete. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1576-1604 [Journal]
  11. Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
    A secondary semantics for Second Order Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:2, pp:202-210 [Journal]
  12. Mauro Ferrari, Camillo Fiorentini, Pierangelo Miglioli
    Extracting information from intermediate semiconstructive HA-systems - extended abstract. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:4, pp:589-596 [Journal]
  13. Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo Miglioli
    On maximal intermediate predicate constructive logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:373-408 [Journal]
  14. Mauro Ferrari, Camillo Fiorentini
    A Proof-theoretical Analysis of Semiconstructive Intermediate Theories. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:73, n:1, pp:21-49 [Journal]
  15. Camillo Fiorentini, Silvio Ghilardi
    Combining word problems through rewriting in categories with products. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:294, n:1/2, pp:103-149 [Journal]
  16. Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
    On the complexity of the disjunction property in intuitionistic and modal logics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:3, pp:519-538 [Journal]
  17. Camillo Fiorentini
    Hypercanonicity, Extensive Canonicity, Canonicity and Strong Completeness of Intermediate Propositional Logics. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 2001, v:35, n:, pp:3-46 [Journal]

  18. A Constructive Semantics for ALC. [Citation Graph (, )][DBLP]


  19. A Decidable Constructive Description Logic. [Citation Graph (, )][DBLP]


  20. Snapshot Generation in a Constructive Object-Oriented Modeling Language. [Citation Graph (, )][DBLP]


  21. Applying ASP to UML Model Validation. [Citation Graph (, )][DBLP]


  22. Towards a Type Discipline for Answer Set Programming. [Citation Graph (, )][DBLP]


  23. A Constructive Approach to Testing Model Transformations. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.017secs
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