Marco Pazzaglia

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 2

Top Topics

Transitive Closure

Equivalence Relation

Top Venues

Acta Informatica

Theor. Comput. Sci.

Publications

Angelo Montanari, Marco Pazzaglia, Pietro Sala
Metric propositional neighborhood logic with an equivalence relation. Acta Informatica 53 (6-8) (2016)
Angelo Montanari, Marco Pazzaglia, Pietro Sala
Adding one or more equivalence relations to the interval temporal logic. Theor. Comput. Sci. 629 (2016)
Angelo Montanari, Marco Pazzaglia, Pietro Sala
Adding two equivalence relations to the interval temporal logic AB. ICTCS (2014)
Angelo Montanari, Marco Pazzaglia, Pietro Sala
Metric Propositional Neighborhood Logic with an Equivalence Relation. TIME (2014)