| 2007 |
|---|
| 6 | EE | Emanuel Kieronski,
Lidia Tendera:
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards.
LPAR 2007: 318-332 |
| 2006 |
|---|
| 5 | EE | Emanuel Kieronski:
On the complexity of the two-variable guarded fragment with transitive guards.
Inf. Comput. 204(11): 1663-1703 (2006) |
| 2005 |
|---|
| 4 | EE | Emanuel Kieronski:
Results on the Guarded Fragment with Equivalence or Transitive Relations.
CSL 2005: 309-324 |
| 3 | EE | Emanuel Kieronski,
Martin Otto:
Small Substructures and Decidability Issues for First-Order Logic with Two Variables.
LICS 2005: 448-457 |
| 2003 |
|---|
| 2 | EE | Emanuel Kieronski:
The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard.
FoSSaCS 2003: 299-312 |
| 2002 |
|---|
| 1 | EE | Emanuel Kieronski:
EXPSPACE-Complete Variant of Guarded Fragment with Transitivity.
STACS 2002: 608-619 |
