( en | de | ru )

 

Disambiguation of "Sala, Pietro"

Author of the publication

copydeleteadd this publication to your clipboard
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.

, , , and . TABLEAUX, volume 6793 of Lecture Notes in Computer Science, page 73-87. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alessandro Sala

Hans Sala

Stephan Sala

Frederic Sala

Pietro Moretto

 

Other publications of authors with the same name

Discovering Evolving Temporal Information: Theory and Application to Clinical Databases., , , and . SN Comput. Sci., 1 (3): 153 (2020)Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison., , , , and . ACM Trans. Comput. Log., 20 (1): 4:1-4:31 (2019)Decidability of the interval temporal logic ABBar over the natural numbers, , , and . CoRR, (2009)Mining approximate interval-based temporal dependencies., and . Acta Informatica, 53 (6-8): 547-585 (2016)Pspace-completeness of the temporal logic of sub-intervals and suffixes., , , and . Inf. Comput., (October 2023)Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete., , , and . GandALF, volume 346 of EPTCS, page 179-194. (2021)Keeping Interval-Based Functional Dependencies Up-to-Date., and . CILC, volume 1195 of CEUR Workshop Proceedings, page 330-334. CEUR-WS.org, (2014)Metric Right Propositional Neighborhood Logic with an Equivalence Relation.. ICTCS, volume 2243 of CEUR Workshop Proceedings, page 140-151. CEUR-WS.org, (2018)Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture., , , and . KR, page 473-483. AAAI Press, (2016)Decidability of the Interval Temporal Logic ABB over the Natural Numbers., , , and . STACS, volume 5 of LIPIcs, page 597-608. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)