Graph explorer

Juha Kontinen

Juha Kontinen contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapJuha Kontinen
13 nodes12 links
Juha Kontinen13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAJuha KontinenResearcherWComplete logics for ele...preprint / 2022WComplexity of two-varia...preprint / 2011WAxiomatizing first orde...preprint / 2012WModal Independence Logicpreprint / 2014WOn Second-Order Monadic...preprint / 2010WA Van Benthem Theorem f...preprint / 2015WDecidability of predica...preprint / 2016WModular SAT-based techn...preprint / 2022WOn the Interaction of F...preprint / 2021WCounting of Teams in Fi...preprint / 2020WOn the Complexity of Ho...preprint / 2020WDescriptive complexity ...preprint / 2020
PersonSignal 1012 links

Juha Kontinen

Researcher

Open