According to our database1, Marco Pazzaglia
Legend:Book In proceedings Article PhD thesis Other
Adding one or more equivalence relations to the interval temporal logic.
Theor. Comput. Sci., 2016
Metric propositional neighborhood logic with an equivalence relation.
Acta Inf., 2016
Metric Propositional Neighborhood Logic with an Equivalence Relation.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014
Adding two equivalence relations to the interval temporal logic AB.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014