Elisa B. P. Tiezzi

Available identifiers

zbMath Open tiezzi.elisa-b-pMaRDI QIDQ835122

List of research outcomes

Publication	Date of Publication	Type
On Metric Temporal Łukasiewicz Logic	2015-04-09	Paper
A complete fuzzy logical system to deal with trust management systems	2009-08-28	Paper
Relating pain intensity of newborns to onset of nonlinear phenomena in cry recordings	2008-03-25	Paper
Use of thermodynamic and non-linear models to study energy cycles in ecology.	2004-08-26	Paper
A Tableau Calculus for Hajek's Logic BL	2004-05-18	Paper
Investigation on fragments of first order branching temporal logic	2003-01-07	Paper
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain	2000-06-21	Paper

Research outcomes over time

This page was built for person: Elisa B. P. Tiezzi