Franco Parlamento (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti: Decidability of exist^*forall-Sentences in Membership Theories. Math. Log. Q. 42: 41-58 (1996)

4 Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti: A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets. J. Symb. Comput. 15(5/6): 673-704 (1993)

3 Franco Parlamento, Alberto Policriti: Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability. J. Autom. Reasoning 7(2): 271-284 (1991)

2 Franco Parlamento, Alberto Policriti: Expressing Infinity Without Foundation. J. Symb. Log. 56(4): 1230-1235 (1991)

1 Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti: Truth Tables for a Combinatorial Kernel of Set Theories. ECAI 1990: 485-490

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

6		Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti: Decidability of exist^*forall-Sentences in Membership Theories. Math. Log. Q. 42: 41-58 (1996)
4		Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti: A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets. J. Symb. Comput. 15(5/6): 673-704 (1993)
3		Franco Parlamento, Alberto Policriti: Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability. J. Autom. Reasoning 7(2): 271-284 (1991)
2		Franco Parlamento, Alberto Policriti: Expressing Infinity Without Foundation. J. Symb. Log. 56(4): 1230-1235 (1991)
1		Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti: Truth Tables for a Combinatorial Kernel of Set Theories. ECAI 1990: 485-490