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)

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

Selection of 3 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)
1		Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti: Truth Tables for a Combinatorial Kernel of Set Theories. ECAI 1990: 485-490