( en | de | ru )

 

Disambiguierung von "Bresolin, Davide"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Expressive Power of Sub-Propositional Fragments of Modal Logic.

, , und . GandALF, Volume 226 von EPTCS, Seite 91-104. (2016)

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 Pennino

Davide Cadamuro

Davide Batic

Davide Pagani

 

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)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)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 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)On the Expressive Power of Sub-Propositional Fragments of Modal Logic., , und . GandALF, Volume 226 von EPTCS, Seite 91-104. (2016)Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders., , , und . TABLEAUX, Volume 6793 von Lecture Notes in Computer Science, Seite 73-87. Springer, (2011)On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures., , , , und . LATA, Volume 8977 von Lecture Notes in Computer Science, Seite 511-523. Springer, (2015)