Sfoglia per Autore SALA, Pietro
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation
2006-01-01 Goranko, Valentin; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Montanari, Angelo; Sala, Pietro
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
2007-01-01 Bresolin, D; Goranko, V; Montanari, Angelo; Sala, Pietro
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders
2008-01-01 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
An optimal tableau for Right Propositional Neighborhood Logic over trees
2008-01-01 Bresolin, Davide; Montanari, Angelo; Sala, Pietro
Tableau-Based System for Spatial Reasoning about Directional Relations
2009-01-01 Bresolin, D; Montanari, Angelo; Sala, Pietro; Sciavicco, G.
A Decidable Spatial Logic with Cone-shaped Cardinal Directions
2009-01-01 Montanari, Angelo; Puppis, G.; Sala, Pietro
Tableaux for logics of subinterval structures over dense orderings
2010-01-01 Bresolin, D; Goranko, V; Montanari, Angelo; Sala, Pietro
Decidability of the interval temporal logic ABB* over the natural numbers
2010-01-01 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, G.
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata
2017-01-01 Della Monica, Dario; Montanari, Angelo; Sala, Pietro
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts
2020-01-01 Barozzini, D.; de Frutos-Escrig, D.; Della Monica, D.; Montanari, A.; Sala, P.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile