SALA, Pietro

SALA, Pietro  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.034 secondi).
Titolo Data di pubblicazione Autore(i) File
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 1-gen-2009 Montanari, Angelo; Puppis, G.; Sala, Pietro
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation 1-gen-2006 Goranko, Valentin; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
An optimal tableau for Right Propositional Neighborhood Logic over trees 1-gen-2008 Bresolin, Davide; Montanari, Angelo; Sala, Pietro
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic 1-gen-2007 Bresolin, Davide; Montanari, Angelo; Sala, Pietro
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata 1-gen-2017 Della Monica, Dario; Montanari, Angelo; Sala, Pietro
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 1-gen-2020 Barozzini, D.; de Frutos-Escrig, D.; Della Monica, D.; Montanari, A.; Sala, P.
Decidability of the interval temporal logic ABB* over the natural numbers 1-gen-2010 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, G.
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 1-gen-2008 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 1-gen-2007 Bresolin, D; Goranko, V; Montanari, Angelo; Sala, Pietro
Tableau-Based System for Spatial Reasoning about Directional Relations 1-gen-2009 Bresolin, D; Montanari, Angelo; Sala, Pietro; Sciavicco, G.
Tableaux for logics of subinterval structures over dense orderings 1-gen-2010 Bresolin, D; Goranko, V; Montanari, Angelo; Sala, Pietro