
Search the dblp DataBase
Lidia Tendera:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Carsten Lutz, Ulrike Sattler, Lidia Tendera
The Complexity of Finite Model Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP] CADE, 2003, pp:6074 [Conf]
 Carsten Lutz, Ulrike Sattler, Lidia Tendera
Finite Model Reasoning in ALCQI is EXPTIME Logics. [Citation Graph (0, 0)][DBLP] Description Logics, 2003, pp: [Conf]
 Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
Complexity of TwoVariable Logic with Counting. [Citation Graph (0, 0)][DBLP] LICS, 1997, pp:318327 [Conf]
 Wieslaw Szwast, Lidia Tendera
On the Decision Problem for the Guarded Fragment with Transitivity. [Citation Graph (0, 0)][DBLP] LICS, 2001, pp:147156 [Conf]
 Wieslaw Szwast, Lidia Tendera
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity. [Citation Graph (0, 0)][DBLP] LPAR, 2005, pp:307321 [Conf]
 Lidia Tendera
Counting in the Two Variable Guarded Logic with Transitivity. [Citation Graph (0, 0)][DBLP] STACS, 2005, pp:8396 [Conf]
 Wieslaw Szwast, Lidia Tendera
The guarded fragment with transitive guards. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:128, n:13, pp:227276 [Journal]
 Lidia Tendera
A Note on Asymptotic Probabilities of Existential SecondOrder Minimal Classes  the Last Step. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1994, v:20, n:4, pp:277285 [Journal]
 Carsten Lutz, Ulrike Sattler, Lidia Tendera
The complexity of finite model reasoning in description logics. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:199, n:12, pp:132171 [Journal]
 Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
Complexity Results for FirstOrder TwoVariable Logic with Counting. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 2000, v:29, n:4, pp:10831117 [Journal]
 Emanuel Kieronski, Lidia Tendera
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. [Citation Graph (0, 0)][DBLP] LPAR, 2007, pp:318332 [Conf]
On Finite Satisfiability of TwoVariable FirstOrder Logic with Equivalence Relations. [Citation Graph (, )][DBLP]
Search in 0.030secs, Finished in 0.031secs
