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 × France
1 × Germany
Collaborated with:
A.Kuusisto K.Sano J.Meyers F.Ferrarotti J.V.d.Bussche J.Kontinen P.Lohmann
Talks about:
logic (4) depend (2) order (2) proposit (1) geometri (1) variabl (1) undecid (1) transit (1) express (1) complex (1)

Person: Jonni Virtema

DBLP DBLP: Virtema:Jonni

Contributed to:

CSL 20152015
CSL 20122012
LICS 20112011
CSL 20182018

Wrote 4 papers:

CSL-2015-SanoV #axiom #dependence #logic
Axiomatizing Propositional Dependence Logics (KS, JV), pp. 292–307.
CSL-2012-KuusistoMV #decidability #first-order #geometry
Undecidable First-Order Theories of Affine Geometries (AK, JM, JV), pp. 470–484.
LICS-2011-KontinenKLV #complexity #dependence #logic
Complexity of Two-Variable Dependence Logic and IF-Logic (JK, AK, PL, JV), pp. 289–298.
CSL-2018-FerrarottiBV #higher-order #logic #transitive
Expressivity Within Second-Order Transitive-Closure Logic (FF, JVdB, JV), p. 18.

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.