( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Substructure Temporal Logic.

, , и . LICS, стр. 368-377. IEEE Computer Society, (2013)

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.

Fabio Sternberg

Fabio Farinon

Fabio Galbusera

Fabio Giovannini

Fabio Ruggiero

 

Другие публикации лиц с тем же именем

Synthesis of Hierarchical Systems., , и . FACS, том 7253 из Lecture Notes in Computer Science, стр. 42-60. Springer, (2011)On Promptness in Parity Games., , и . Fundam. Informaticae, 139 (3): 277-305 (2015)Relentful strategic reasoning in alternating-time temporal logic., , и . J. Log. Comput., 26 (5): 1663-1695 (2016)A Behavioral Hierarchy of Strategy Logic., , и . CLIMA, том 8624 из Lecture Notes in Computer Science, стр. 148-165. Springer, (2014)Solving Parity Games via Priority Promotion., , и . CAV (2), том 9780 из Lecture Notes in Computer Science, стр. 270-290. Springer, (2016)Quantifying Over Trees in Monadic Second-Order Logic., , , и . LICS, стр. 1-13. IEEE, (2023)Taming Strategy Logic: Non-Recurrent Fragments., , и . TIME, том 247 из LIPIcs, стр. 14:1-14:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Reasoning About Strategies: On the Model-Checking Problem, , , и . CoRR, (2011)Preface to the Special Issue on SR 2014., , и . Inf. Comput., (2017)SHACL Satisfiability and Containment., , , и . ISWC (1), том 12506 из Lecture Notes in Computer Science, стр. 474-493. Springer, (2020)