Elisa B. P. Tiezzi

	2009
5		Tommaso Flaminio, Elisa B. P. Tiezzi: On Metric Temporal Lukasiewicz Logic. Electr. Notes Theor. Comput. Sci. 246: 71-85 (2009)
	2008
4		Tommaso Flaminio, G. Michele Pinna, Elisa B. P. Tiezzi: A complete fuzzy logical system to deal with trust management systems. Fuzzy Sets and Systems 159(10): 1191-1207 (2008)
	2003
3		Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi: A Tableau Calculus for Hájek's Logic BL. J. Log. Comput. 13(2): 241-259 (2003)
	2002
2		Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi: Investigations on Fragments of First Order Branching Temporal Logic. Math. Log. Q. 48(1): 51-62 (2002)
	2000
1		Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi: A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. Math. Log. Q. 46(2): 171-182 (2000)

Coauthor Index

1	Tommaso Flaminio	[4] [5]
2	Franco Montagna	[1] [2] [3]
3	G. Michele Pinna	[1] [2] [3] [4]