( en | de | ru )

 

Disambiguierung von "Bresolin, Davide"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.

, , , und . Ann. Pure Appl. Log., 161 (3): 289-304 (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Geraldine Bresolin

Davide Cadamuro

Davide Pennino

Davide Pagani

Davide Batic

 

Weitere Publikationen von Autoren mit dem selben Namen

Higher Order Method for Differential Inclusions., , , , und . CoRR, (2020)Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions., , , und . Ann. Pure Appl. Log., 161 (3): 289-304 (2009)Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics., , , und . J. Multiple Valued Log. Soft Comput., 28 (2-3): 217-249 (2017)Formal verification of robotic surgery tasks by reachability analysis., , , , und . Microprocess. Microsystems, 39 (8): 836-842 (2015)A game-theoretic approach to fault diagnosis and identification of hybrid systems., und . Theor. Comput. Sci., (2013)Formal Verification of Medical CPS: A Laser Incision Case Study., , , , , , und . ACM Trans. Cyber Phys. Syst., 2 (4): 35:1-35:29 (2018)Robotic Surgery., , , , und . IEEE Robotics Autom. Mag., 18 (3): 24-32 (2011)DL-Lite and Interval Temporal Logics: a Marriage Proposal., , , , und . ECAI, Volume 263 von Frontiers in Artificial Intelligence and Applications, Seite 957-958. IOS Press, (2014)On the Expressive Power of Sub-Propositional Fragments of Modal Logic., , und . GandALF, Volume 226 von EPTCS, Seite 91-104. (2016)Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings., , , , und . M4M, Volume 262 von Electronic Notes in Theoretical Computer Science, Seite 65-81. Elsevier, (2009)