 | 2007 |
|---|
| 11 |       | Emanuel Kieronski,
Lidia Tendera:
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards.
LPAR 2007: 318-332 |
| 2005 |
|---|
| 10 | | Wieslaw Szwast,
Lidia Tendera:
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.
LPAR 2005: 307-321 |
| 9 | | Lidia Tendera:
Counting in the Two Variable Guarded Logic with Transitivity.
STACS 2005: 83-96 |
| 8 | | Carsten Lutz,
Ulrike Sattler,
Lidia Tendera:
The complexity of finite model reasoning in description logics.
Inf. Comput. 199(1-2): 132-171 (2005) |
| 2004 |
|---|
| 7 | | Wieslaw Szwast,
Lidia Tendera:
The guarded fragment with transitive guards.
Ann. Pure Appl. Logic 128(1-3): 227-276 (2004) |
| 2003 |
|---|
| 6 | | Carsten Lutz,
Ulrike Sattler,
Lidia Tendera:
The Complexity of Finite Model Reasoning in Description Logics.
CADE 2003: 60-74 |
| 5 | | Carsten Lutz,
Ulrike Sattler,
Lidia Tendera:
Finite Model Reasoning in ALCQI is EXPTIME Logics.
Description Logics 2003 |
| 2001 |
|---|
| 4 |  | Wieslaw Szwast,
Lidia Tendera:
On the Decision Problem for the Guarded Fragment with Transitivity.
LICS 2001: 147-156 |
| 2000 |
|---|
| 3 | | Leszek Pacholski,
Wieslaw Szwast,
Lidia Tendera:
Complexity Results for First-Order Two-Variable Logic with Counting.
SIAM J. Comput. 29(4): 1083-1117 (2000) |
| 1997 |
|---|
| 2 | | Leszek Pacholski,
Wieslaw Szwast,
Lidia Tendera:
Complexity of Two-Variable Logic with Counting.
LICS 1997: 318-327 |
| 1994 |
|---|
| 1 | | Lidia Tendera:
A Note on Asymptotic Probabilities of Existential Second-Order Minimal Classes - the Last Step.
Fundam. Inform. 20(4): 277-285 (1994) |
