( en | de | ru )

 

Disambiguation of "Virtema, Jonni"

Author of the publication

copydeleteadd this publication to your clipboard
Temporal Team Semantics Revisited.

, , , and . LICS, page 44:1-44:13. ACM, (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

Jonni Fock

 

Other publications of authors with the same name

Computing Repairs Under Functional and Inclusion Dependencies via Argumentation., , , and . CoRR, (2023)Descriptive complexity of real computation and probabilistic independence logic., , , and . LICS, page 550-563. ACM, (2020)Polyteam Semantics., , and . CoRR, (2017)Complexity of validity for propositional dependence logics.. GandALF, volume 161 of EPTCS, page 18-31. (2014)Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity., , , , and . CoRR, (2020)On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic., , , and . CSL, volume 183 of LIPIcs, page 27:1-27:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Logics with Probabilistic Team Semantics and the Boolean Negation., , , , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 665-680. Springer, (2023)A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL., , and . FoIKS, volume 14589 of Lecture Notes in Computer Science, page 275-286. Springer, (2024)Approximation and dependence via multiteam semantics., , , , and . Ann. Math. Artif. Intell., 83 (3-4): 297-320 (2018)Descriptive Complexity of Deterministic Polylogarithmic Time., , , , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 208-222. Springer, (2019)