BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Germany
1 × Italy
Collaborated with:
M.Hannula H.Vollmer S.Link P.Galliani J.Müller H.Schnoor A.Kuusisto P.Lohmann J.Virtema A.D.0001 A.Haak
Talks about:
logic (3) independ (2) complex (2) hierarchi (1) function (1) descript (1) variabl (1) theorem (1) benthem (1) semant (1)

Person: Juha Kontinen

DBLP DBLP: Kontinen:Juha

Contributed to:

CSL 20152015
CIKM 20142014
CSL 20132013
LICS 20112011
CSL 20162016

Wrote 5 papers:

CSL-2015-KontinenMSV #semantics #theorem
A Van Benthem Theorem for Modal Team Semantics (JK, JSM, HS, HV), pp. 277–291.
CIKM-2014-HannulaKL #independence #on the
On Independence Atoms and Keys (MH, JK, SL), pp. 1229–1238.
CSL-2013-GallianiHK #independence #logic
Hierarchies in independence logic (PG, MH, JK), pp. 263–280.
LICS-2011-KontinenKLV #complexity #dependence #logic
Complexity of Two-Variable Dependence Logic and IF-Logic (JK, AK, PL, JV), pp. 289–298.
CSL-2016-0001HKV #complexity
Descriptive Complexity of #AC0 Functions (AD0, AH, JK, HV), p. 16.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.