PARLAMENTO, Franco
PARLAMENTO, Franco
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
A contribution to the Automated Treatment of Membership Theories
1990-01-01 Omodeo, E; Parlamento, Franco; Policriti, Alberto
A derived algorithm for evaluating epsilon-expressions over abstract sets
1993-01-01 Omodeo, E; Parlamento, Franco; Policriti, Alberto
A Note on the Sequent Calculi G3[mic]=
2020-01-01 Parlamento, F.; Previale, F.
Absorbing the structural rules in the sequent calculus with additional atomic rules
2019-01-01 Parlamento, F.; Previale, F.
Absorbing the structural rules in the sequent calculus with additional atomic rules
2019-01-01 Parlamento, F.; Previale, F.
Admissibility of the structural rules in Kanger’s sequent calculus for first order logic with equality
2016-01-01 Parlamento, Franco; Munini, Federico
Binumerability in a Sequence of Theories
1981-01-01 Parlamento, Franco
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms
2013-01-01 Parlamento, Franco; Previale, F.
Decidability and Completeness for Open Formulas of Membership Theories
1995-01-01 Belle', D; Parlamento, Franco
Decidability of E*A-sentences in Membership Theories
1996-01-01 Omodeo, E.; Parlamento, Franco; Policriti, Alberto
Decidability of E*AA-sentences in HF
2008-01-01 Belle', Dorella; Parlamento, Franco
Decidability of the A*E* class in the theory NWL Notes in Logic n.6 183-194
1996-01-01 Belle', D.; Parlamento, Franco
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability.
1991-01-01 Parlamento, Franco; Policriti, Alberto
Elaborazione dell'Informazione Non Numerica
1997-01-01 Parlamento, Franco
Expressing Infinity without Foundation
1991-01-01 Parlamento, Franco; Policriti, Alberto
Finite families with few symmetric differences
1999-01-01 Marcone, Alberto Giulio; Parlamento, Franco; Policriti, Alberto
Formazione iniziale degli insegnanti di scuola secondaria a Udine
2004-01-01 Albarea, R; Decio, L; DE LUCA, A. P.; Fava, G; Griggio, C; Michelini, Marisa; Misdaris, G; Parlamento, F; Rigo, P; Zerbi, G.
Henkin's Completeness Proof and Glivenko's Theorem
2014-01-01 Parlamento, Franco
Iterated Reflection Principles and Induction Principles over Primitive recursive Arithmetic
1984-01-01 Parlamento, Franco
logic and Logic Programming
1991-01-01 Parlamento, Franco