dblp.uni-trier.dewww.uni-trier.de

Camillo Fiorentini Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Alessandro Avellone [1] [4] [5] [14] [17]
2Marco Benini [16]
3Loris Bozzato [19]
4Mauro Ferrari [4] [5] [7] [8] [9] [10] [12] [13] [15] [16] [17] [18] [19]
5Guido Fiorino [9] [10] [13] [14] [15] [17] [19]
6Silvio Ghilardi [11]
7Paolo Mantovani [1]
8Pierangelo Miglioli [1] [2] [7]
9Alberto Momigliano [16] [18] [20] [21]
10Ugo Moscato [14] [17]
11Mario Ornaghi [8] [16] [18] [20] [21]
12Francesco Pagano [21]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)