 | 2011 |
|---|
| 10 |       | Emanuel Kieronski:
Decidability Issues for Two-Variable Logics with Several Linear Orders.
CSL 2011: 337-351 |
| 9 | | Emanuel Kieronski,
Jakub Michaliszyn,
Jan Otop:
Modal Logics Definable by Universal Three-Variable Formulas.
FSTTCS 2011: 264-275 |
| 2010 |
|---|
| 8 | | Jerzy Marcinkowski,
Jakub Michaliszyn,
Emanuel Kieronski:
B and D Are Enough to Make the Halpern-Shoham Logic Undecidable.
ICALP (2) 2010: 357-368 |
| 2009 |
|---|
| 7 | | Emanuel Kieronski,
Lidia Tendera:
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations.
LICS 2009: 123-132 |
| 2007 |
|---|
| 6 | | Emanuel Kieronski,
Lidia Tendera:
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards.
LPAR 2007: 318-332 |
| 2006 |
|---|
| 5 | | Emanuel Kieronski:
On the complexity of the two-variable guarded fragment with transitive guards.
Inf. Comput. 204(11): 1663-1703 (2006) |
| 2005 |
|---|
| 4 | | Emanuel Kieronski:
Results on the Guarded Fragment with Equivalence or Transitive Relations.
CSL 2005: 309-324 |
| 3 | | Emanuel Kieronski,
Martin Otto:
Small Substructures and Decidability Issues for First-Order Logic with Two Variables.
LICS 2005: 448-457 |
| 2003 |
|---|
| 2 | | Emanuel Kieronski:
The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard.
FoSSaCS 2003: 299-312 |
| 2002 |
|---|
| 1 | | Emanuel Kieronski:
EXPSPACE-Complete Variant of Guarded Fragment with Transitivity.
STACS 2002: 608-619 |
Data released under the ODC-BY 1.0 license — See also our legal information page