Elisa B. P. Tiezzi

2008
4	EE	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	EE	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	EE	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	EE	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]
2	Franco Montagna	[1] [2] [3]
3	G. Michele Pinna	[1] [2] [3] [4]