According to our database1, Marco Pazzaglia authored at least 4 papers between 2014 and 2016.
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