Elisa B. P. Tiezzi

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2009
j5		Tommaso Flaminio, Elisa B. P. Tiezzi: On Metric Temporal Lukasiewicz Logic. Electr. Notes Theor. Comput. Sci. 246: 71-85 (2009)
	2008
j4		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
j3		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
j2		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
j1		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

Last update Sat May 18 22:13:57 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page