×

zbMATH — the first resource for mathematics

Tiezzi, Elisa B. P.

Compute Distance To:
Author ID: tiezzi.elisa-b-p Recent zbMATH articles by "Tiezzi, Elisa B. P."
Published as: Tiezzi, Elisa B. P.
Documents Indexed: 7 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 7 times in 5 Documents Cited by Year
A tableau calculus for Hájek’s logic BL. Zbl 1055.03017
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
2
2003
A cut-free proof system for bounded metric temporal logic over a dense time domain. Zbl 0951.03017
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
2
2000
Relating pain intensity of newborns to onset of nonlinear phenomena in cry recordings. Zbl 1137.92321
Facchini, Angelo; Bellieni, Carlo V.; Marchettini, Nadia; Pulselli, Federico M.; Tiezzi, Elisa B. P.
1
2005
Investigation on fragments of first order branching temporal logic. Zbl 1002.03016
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
1
2002
On metric temporal Łukasiewicz logic. Zbl 1348.03023
Flaminio, Tommaso; Tiezzi, Elisa B. P.
1
2009
On metric temporal Łukasiewicz logic. Zbl 1348.03023
Flaminio, Tommaso; Tiezzi, Elisa B. P.
1
2009
Relating pain intensity of newborns to onset of nonlinear phenomena in cry recordings. Zbl 1137.92321
Facchini, Angelo; Bellieni, Carlo V.; Marchettini, Nadia; Pulselli, Federico M.; Tiezzi, Elisa B. P.
1
2005
A tableau calculus for Hájek’s logic BL. Zbl 1055.03017
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
2
2003
Investigation on fragments of first order branching temporal logic. Zbl 1002.03016
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
1
2002
A cut-free proof system for bounded metric temporal logic over a dense time domain. Zbl 0951.03017
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
2
2000

Citations by Year