( en | de | ru )

 

Disambiguation of "Virtema, Jonni"

Author of the publication

copydeleteadd this publication to your clipboard
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic.

, , , and . CoRR, (2020)

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

Descriptive Complexity of Deterministic Polylogarithmic Time., , , , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 208-222. Springer, (2019)On Quantified Propositional Logics and the Exponential Time Hierarchy., , , and . GandALF, volume 226 of EPTCS, page 198-212. (2016)Graph Neural Networks and Arithmetic Circuits., , , , and . CoRR, (2024)A fine-grained framework for database repairs., and . CoRR, (2023)Approximation and dependence via multiteam semantics., , , , and . Ann. Math. Artif. Intell., 83 (3-4): 297-320 (2018)Complexity of Propositional Independence and Inclusion Logic., , , and . CoRR, (2015)Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals., and . CoRR, (2020)Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals., and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 649-664. Springer, (2023)Approximation and Dependence via Multiteam Semantics., , , , and . FoIKS, volume 9616 of Lecture Notes in Computer Science, page 271-291. Springer, (2016)Model Checking and Validity in Propositional and Modal Inclusion Logics., , , and . MFCS, volume 83 of LIPIcs, page 32:1-32:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)