
Search the dblp DataBase
Elisa B. P. Tiezzi:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
A Tableau Calculus for Hájek's Logic BL. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2003, v:13, n:2, pp:241259 [Journal]
 Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
A Cutfree Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2000, v:46, n:2, pp:171182 [Journal]
 Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
Investigations on Fragments of First Order Branching Temporal Logic. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2002, v:48, n:1, pp:5162 [Journal]
On Metric Temporal Lukasiewicz Logic. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
