| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 10 |      | Felice Cardone, Mario Coppo: Decidability Properties of Recursive Types. ICTCS 2003: 242-255 |
| 2002 | ||
| 9 | | Paolo Boldi, Felice Cardone, Manfred Droste: Universal Homogeneous Graph-Like Structures And Domains. Mathematical Structures in Computer Science 12(1): 91-109 (2002) |
| 8 | | Felice Cardone: A coinductive completeness proof for the equivalence of recursive types. Theor. Comput. Sci. 275(1-2): 575-587 (2002) |
| 1999 | ||
| 7 |  | Anatol W. Holt, Felice Cardone: An Organisational Theory of Information. ISCO 1999: 77-91 |
| 1994 | ||
| 6 | | Felice Cardone: Strict Finitism and Feasibility. LCC 1994: 1-21 |
| 5 | | Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Combining Type Disciplines. Ann. Pure Appl. Logic 66(3): 197-230 (1994) |
| 1992 | ||
| 4 | | Felice Cardone: An Algebraic Approach to the Interpretation of Recursive Types. CAAP 1992: 66-85 |
| 1991 | ||
| 3 | | Felice Cardone, Mario Coppo: Type Inference with Recursive Types: Syntax and Semantics Inf. Comput. 92(1): 48-80 (1991) |
| 2 | | Felice Cardone: Recursive Types for Fun. Theor. Comput. Sci. 83(1): 29-56 (1991) |
| 1989 | ||
| 1 | | Felice Cardone: Relational Semantics for Recursive Types and Bounded Quantification. ICALP 1989: 164-178 |
| 1 | Paolo Boldi | [9] |
| 2 | Mario Coppo | [3] [10] |
| 3 | Mariangiola Dezani-Ciancaglini (Mariangiola Dezani) | [5] |
| 4 | Manfred Droste | [9] |
| 5 | Anatol W. Holt | [7] |
| 6 | Ugo de'Liguoro | [5] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page