( en | de | ru )

 

Disambiguierung von "Kontinen, Juha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Approximation and Dependence via Multiteam Semantics.

, , , , und . FoIKS, Volume 9616 von Lecture Notes in Computer Science, Seite 271-291. Springer, (2016)

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.

Martin Juha

Juha Tiihonen

Attila Juhász

Ingolf Juhasz-Böss

Juha Reunanen

 

Weitere Publikationen von Autoren mit dem selben Namen

The hierarchy theorem for second order generalized quantifiers.. J. Symb. Log., 71 (1): 188-202 (2006)Parameterized Complexity of Weighted Team Definability., , , und . CoRR, (2023)On Second-Order Monadic Groupoidal Quantifiers., und . WoLLIC, Volume 5110 von Lecture Notes in Computer Science, Seite 238-248. Springer, (2008)Complexity of Propositional Logics in Team Semantic., , , und . ACM Trans. Comput. Log., 19 (1): 2:1-2:14 (2018)Computational Aspects of Logics in Team Semantics (Tutorial).. STACS, Volume 66 von LIPIcs, Seite 1:1-1:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Axiomatizing first-order consequences in dependence logic., und . Ann. Pure Appl. Log., 164 (11): 1101-1117 (2013)A logical approach to context-specific independence., , , , und . Ann. Pure Appl. Log., 170 (9): 975-992 (2019)Complete Logics for Elementary Team Properties., und . J. Symb. Log., 88 (2): 579-619 (2023)Logics for Dependence and Independence (Dagstuhl Seminar 19031)., , , und . Dagstuhl Reports, 9 (1): 28-46 (2019)On the Interaction of Inclusion Dependencies with Independence Atoms., , und . LPAR, Volume 46 von EPiC Series in Computing, Seite 212-226. EasyChair, (2017)