受强制性开放获取政策约束的文章 - Pietro Sala了解详情
可在其他位置公开访问的文章：11 篇
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
Theoretical Computer Science 560, 269-291, 2014
强制性开放获取政策： Icelandic Centre for Research, Government of Spain
Interval temporal logics over finite linear orders: the complete picture
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
ECAI 2012, 199-204, 2012
强制性开放获取政策： Government of Spain
On begins, meets and before
D Bresolin, P Sala, G Sciavicco
International Journal of Foundations of Computer Science 23 (03), 559-583, 2012
强制性开放获取政策： Government of Spain
On coarser interval temporal logics
E Muñoz-Velasco, M Pelegrín, P Sala, G Sciavicco, IE Stan
Artificial Intelligence 266, 1-26, 2019
强制性开放获取政策： Government of Spain, Government of Italy
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
Information and Computation 266, 97-125, 2019
强制性开放获取政策： Icelandic Centre for Research, Government of Italy
On the complexity of fragments of the modal logic of Allen’s relations over dense structures
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
Language and Automata Theory and Applications: 9th International Conference …, 2015
强制性开放获取政策： Icelandic Centre for Research, Government of Spain
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
D Bresolin, A Montanari, P Sala, G Sciavicco
Theoretical Computer Science 493, 98-115, 2013
强制性开放获取政策： Government of Spain
On coarser interval temporal logics and their satisfiability problem
E Munoz-Velasco, M Pelegrín-García, P Sala, G Sciavicco
Conference of the Spanish Association for Artificial Intelligence, 105-115, 2015
强制性开放获取政策： Government of Spain
Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts
D Barozzini, D de Frutos-Escrig, D Della Monica, A Montanari, P Sala
Theoretical Computer Science 813, 270-304, 2020
强制性开放获取政策： Government of Italy
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*
D Della Monica, A Montanari, G Puppis, P Sala
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2023
强制性开放获取政策： Government of Italy
Customizing BPMN Diagrams Using Timelines
C Combi, B Oliboni, P Sala
26th International Symposium on Temporal Representation and Reasoning (TIME …, 2019
强制性开放获取政策： Government of Italy
出版信息和资助信息由计算机程序自动确定