( en | de | ru )

 

Disambiguierung von "Mogavero, Fabio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exploring the Boundary of Half Positionality.

, , , und . CLIMA, Volume 6245 von Lecture Notes in Computer Science, Seite 171-185. Springer, (2010)

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.

Fabio Sternberg

Fabio Farinon

Fabio Galbusera

Fabio Giovannini

Fabio Ruggiero

 

Weitere Publikationen von Autoren mit dem selben Namen

Preface to the Special Issue on SR 2014., , und . Inf. Comput., (2017)Reasoning About Strategies: On the Model-Checking Problem, , , und . CoRR, (2011)Attacking Diophantus: Solving a Special Case of Bag Containment., und . PODS, Seite 399-413. ACM, (2019)Reformulating Queries: Theory and Practice., , , und . IJCAI, Seite 837-843. ijcai.org, (2017)SHACL Satisfiability and Containment., , , und . ISWC (1), Volume 12506 von Lecture Notes in Computer Science, Seite 474-493. Springer, (2020)Relentful Strategic Reasoning in Alternating-Time Temporal Logic., , und . LPAR (Dakar), Volume 6355 von Lecture Notes in Computer Science, Seite 371-386. Springer, (2010)Synthesis of Hierarchical Systems., , und . FACS, Volume 7253 von Lecture Notes in Computer Science, Seite 42-60. Springer, (2011)On Promptness in Parity Games., , und . Fundam. Informaticae, 139 (3): 277-305 (2015)Relentful strategic reasoning in alternating-time temporal logic., , und . J. Log. Comput., 26 (5): 1663-1695 (2016)Taming Strategy Logic: Non-Recurrent Fragments., , und . TIME, Volume 247 von LIPIcs, Seite 14:1-14:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)