Franco Parlamento (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Dorella Bellè, Franco Parlamento: The Decidability of the Class and the Axiom of Foundation. Notre Dame Journal of Formal Logic 42(1): 41-53 (2001)

5 Dorella Bellè, Franco Parlamento: Decidability and Completeness for Open Formulas of Membership Theories. Notre Dame Journal of Formal Logic 36(2): 304-318 (1995)

Selection of 2 from 7 records - Franco Parlamento has 3 coauthors

7		Dorella Bellè, Franco Parlamento: The Decidability of the Class and the Axiom of Foundation. Notre Dame Journal of Formal Logic 42(1): 41-53 (2001)
5		Dorella Bellè, Franco Parlamento: Decidability and Completeness for Open Formulas of Membership Theories. Notre Dame Journal of Formal Logic 36(2): 304-318 (1995)