Pierangelo Miglioli Coauthor index DBLP Vis pubzone.org

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

DBLP keys2003
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Ferrari, Pierangelo Miglioli, Mario Ornaghi: On Uniformly Constructive and Semiconstructive Formal Systems. Logic Journal of the IGPL 11(1): 1-49 (2003)
2001
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Ferrari, Camillo Fiorentini, Pierangelo Miglioli: Extracting information from intermediate semiconstructive HA-systems - extended abstract. Mathematical Structures in Computer Science 11(4): 589-596 (2001)
1999
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Avellone, Mauro Ferrari, Pierangelo Miglioli: Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics. Logic Journal of the IGPL 7(4): 447-480 (1999)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCamillo 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)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvio Ghilardi, Pierangelo Miglioli: On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics. Studia Logica 63(3): 353-385 (1999)
1998
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Avellone, Mauro Ferrari, Pierangelo Miglioli: Synthesis of Programs in Abstract Data Types. LOPSTR 1998: 81-100
1997
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Generalized Tableau Systems for Intemediate Propositional Logics. TABLEAUX 1997: 43-61
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. Logic Journal of the IGPL 5(1): (1997)
1996
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings Springer 1996
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Bertolotti, Pierangelo Miglioli, Daniela Silvestrini: Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property. Math. Log. Q. 42: 501-536 (1996)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo Miglioli: On maximal intermediate predicate constructive logics. Studia Logica 57(2/3): 373-408 (1996)
1995
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Refutation Systems for Propositional Modal Logics. TABLEAUX 1995: 95-105
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Ferrari, Pierangelo Miglioli: A Method to Single out Maximal Propositional Logics with the Disjunction Property I. Ann. Pure Appl. Logic 76(1): 1-46 (1995)
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Ferrari, Pierangelo Miglioli: A Method to Single out Maximal Propositional Logics with the Disjunction Property II. Ann. Pure Appl. Logic 76(2): 117-168 (1995)
1994
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: An Improved Refutation System for Intuitionistic Predicate Logic. J. Autom. Reasoning 13(3): 361-373 (1994)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods. J. Symb. Comput. 18(1): 41-81 (1994)
1993
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Ferrari, Pierangelo Miglioli: Counting the Maximal Intermediate Constructive Logics. J. Symb. Log. 58(4): 1365-1401 (1993)
1992
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: A constructive logic approach to database theory. CNKBS 1992: 58-60
1991
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Program Specification and Synthesis in Constructive Formal Systems. LOPSTR 1991: 13-26
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: A Constructive Logic Approach to Database Theory. RCLP 1991: 302-321
1989
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types. TAPSOFT, Vol.1 1989: 337-351
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti: A Constructivism Based on Classical Truth. Notre Dame Journal of Formal Logic 30(1): 67-90 (1989)
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti: Some Results on Intermediate Constructive Logics. Notre Dame Journal of Formal Logic 30(4): 543-562 (1989)
1986
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: PAP: A Logic Programming System Based on a Constructive Logic. Foundations of Logic and Functional Programming 1986: 143-156
1984
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi: Abstract Data Types and Their Extensions within a Constructive Logic. Semantics of Data Types 1984: 177-195
1981
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Trees in Kripke Models and in an Intuitionistic Refutation System. CAAP 1981: 316-331
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Constructive Proofs as Programs Executable by PrT Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 311-322
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Mario Ornaghi: A logically justified model of computation I. Fundam. Inform. 4(1): 151-172 (1981)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Mario Ornaghi: A logically justified model of computation II. Fundam. Inform. 4(2): 277-342 (1981)
1980
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli: Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools. Symposium on Programming 1980: 44-58
1979
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli: A Characterization of Abstract Data as Model-Theoretic Invariants. ICALP 1979: 26-37
1977
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Mario Ornaghi: A Calculus to Build Up Correct Programs. MFCS 1977: 398-409
1975
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Marini, Pierangelo Miglioli, Mario Ornaghi: First Order Logic as a Tool to Solve and Classify Problems. GI Jahrestagung 1975: 669-679
1974
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli: Mathematical Foundations of Motivation Languages and Synthesis Maps. MFCS 1974: 388-408
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLG. Degli Antoni, Pierangelo Miglioli, Mario Ornaghi: Top-down approach to the synthesis of programs. Symposium on Programming 1974: 88-108
1973
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Marini, Pierangelo Miglioli: Characterization of Programs and Their Synthesis from a Formalized Theory. MFCS 1973: 259-266

Coauthor Index

1G. Degli Antoni [2]
2Alessandro Avellone [26] [30] [31] [34]
3Guido Bertolotti [27]
4Alberto Bertoni [6] [7] [12]
5Mauro Ferrari [20] [23] [24] [31] [34] [35] [36]
6Camillo Fiorentini [26] [33] [35]
7Silvio Ghilardi [32]
8Paolo Mantovani [26]
9Daniele Marini [1] [4]
10Giancarlo Mauri [6] [7] [12]
11Ugo Moscato [10] [11] [13] [14] [15] [16] [17] [18] [19] [21] [22] [25] [28] [29] [30]
12Daniele Mundici [28]
13Mario Ornaghi [2] [4] [5] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22] [25] [28] [29] [30] [36]
14Silvia Quazza [14]
15Daniela Silvestrini [27]
16Gabriele Usberti [14] [15]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)