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 × Austria
1 × Croatia
1 × Germany
1 × Latvia
1 × Norway
1 × Poland
1 × United Kingdom
2 × France
2 × USA
Collaborated with:
J.Michaliszyn W.Charatonik L.Tendera A.Kuusisto M.Otto F.Mazowiecki J.Marcinkowski B.Bednarczyk I.Pratt-Hartmann S.Benaim M.Benedikt R.Lenhardt J.Worrell
Talks about:
logic (10) variabl (8) two (8) transit (4) equival (4) order (4) fragment (3) closur (3) relat (3) guard (3)

Person: Emanuel Kieronski

DBLP DBLP: Kieronski:Emanuel

Contributed to:

CSL 20152015
CSL-LICS 20142014
ICALP (2) 20132013
CSL 20122012
LICS 20122012
CSL 20112011
ICALP (2) 20102010
LICS 20092009
CSL 20052005
LICS 20052005
FoSSaCS 20032003
CSL 20162016
CSL 20172017

Wrote 13 papers:

CSL-2015-KieronskiK #equivalence
Uniform One-Dimensional Fragments with One Equivalence Relation (EK, AK), pp. 597–615.
LICS-CSL-2014-CharatonikKM #decidability #logic #transitive
Decidability of weak logics with deterministic transitive closure (WC, EK, FM), p. 10.
ICALP-v2-2013-BenaimBCKLMW #complexity #finite #logic
Complexity of Two-Variable Logic on Finite Trees (SB, MB, WC, EK, RL, FM, JW), pp. 74–88.
CSL-2012-KieronskiM #logic #transitive
Two-Variable Universal Logic with Transitive Closure (EK, JM), pp. 396–410.
LICS-2012-KieronskiMPT #equivalence #first-order #logic
Two-Variable First-Order Logic with Equivalence Closure (EK, JM, IPH, LT), pp. 431–440.
CSL-2011-Kieronski #decidability #linear #logic #order
Decidability Issues for Two-Variable Logics with Several Linear Orders (EK), pp. 337–351.
ICALP-v2-2010-MarcinkowskiMK #decidability #logic
B and D Are Enough to Make the Halpern-Shoham Logic Undecidable (JM, JM, EK), pp. 357–368.
LICS-2009-KieronskiT #equivalence #finite #first-order #logic #on the #satisfiability
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations (EK, LT), pp. 123–132.
CSL-2005-Kieronski #equivalence #transitive
Results on the Guarded Fragment with Equivalence or Transitive Relations (EK), pp. 309–324.
LICS-2005-KieronskiO #decidability #first-order #logic
Small Substructures and Decidability Issues for First-Order Logic with Two Variables (EK, MO), pp. 448–457.
FoSSaCS-2003-Kieronski #transitive
The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard (EK), pp. 299–312.
CSL-2016-Kieronski #logic #word
One-Dimensional Logic over Words (EK), p. 15.
CSL-2017-BednarczykCK #logic
Extending Two-Variable Logic on Trees (BB, WC, EK), p. 20.

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.