( en | de | ru )

 

Disambiguierung von "Virtema, Jonni"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Temporal Team Semantics Revisited.

, , , und . LICS, Seite 44:1-44:13. ACM, (2022)

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.

Jonni Fock

 

Weitere Publikationen von Autoren mit dem selben Namen

Complexity of validity for propositional dependence logics.. GandALF, Volume 161 von EPTCS, Seite 18-31. (2014)Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity., , , , und . CoRR, (2020)Computing Repairs Under Functional and Inclusion Dependencies via Argumentation., , , und . CoRR, (2023)Polyteam Semantics., , und . CoRR, (2017)Descriptive complexity of real computation and probabilistic independence logic., , , und . LICS, Seite 550-563. ACM, (2020)Logics with Probabilistic Team Semantics and the Boolean Negation., , , , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 665-680. Springer, (2023)On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic., , , und . CSL, Volume 183 von LIPIcs, Seite 27:1-27:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL., , und . FoIKS, Volume 14589 von Lecture Notes in Computer Science, Seite 275-286. Springer, (2024)Descriptive Complexity of Deterministic Polylogarithmic Time., , , , und . WoLLIC, Volume 11541 von Lecture Notes in Computer Science, Seite 208-222. Springer, (2019)On Quantified Propositional Logics and the Exponential Time Hierarchy., , , und . GandALF, Volume 226 von EPTCS, Seite 198-212. (2016)