dr hab. prof. UO Lidia Tendera

Publikacje


    2013
  1. Georg Gottlob, Andreas Pieris, Lidia Tendera, QUERYING THE GUARDED FRAGMENT WITH TRANSITIVITY, ICALP 2013, Riga, Latvia, July 8-12 (2013), referat wygłoszony.
  2. Wiesław Szwast, Lidia Tendera, FO2 WITH ONE TRANSITIVE RELATION IS DECIDABLE, 30th Annual Symposium on Theoretical Aspects of Computer Science, LIPIcs (2013), 317-328.
  3. Georg Gottlob, Andreas Pieris, Lidia Tendera, QUERYING THE GUARDED FRAGMENT WITH TRANSITIVITY, Lecture Notes in Computer Science, 7966 (2013), pp. 293--304. .
  4. Lidia Tendera, MEANS AND LIMITS OF DECISION (INVITED TALK), CSL, Computer Science Logic (2013), 28-29.

  5. 2012
  6. Emanuel Kieroński, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera, TWO-VARIABLE FIRST-ORDER LOGIC WITH EQUIVALENCE CLOSURE, Proc. Annual IEEE Symposium on Logic in Computer Science, LICS, 27 (2012), 431-440.

  7. 2009
  8. Emanuel Kieroński, Lidia Tendera, ON FINITE SATISFIABILITY OF THE TWO-VARIABLE FIRST-ORDER LOGIC WITH EQUIVALENCE RELATIONS, Proc. Annual IEEE Symposium on Logic in Computer Science, LICS, 24 (2009), 123-132.
  9. Emanuel Kieroński, Lidia Tendera, ON FINITE SATISFIABILITY OF THE TWO-VARIABLE FIRST-ORDER LOGIC WITH EQUIVALENCE RELATIONS, LICS 2009, Los Angeles, USA, 11-14 sierpnia 2009 (2009), referat wygłoszony.
  10. Lidia Tendera, O ZŁOŻONOŚCI OBLICZENIOWEJ, "Logika i jej zastosowania w filozofii i podstawach matematyki", Szklarska Poręba, 20-24 kwietnia 2009r. (2009), referat wygłoszony.

  11. 2008
  12. Małgorzata Haładewicz-Grzelak, Lidia Tendera, LOGIC IN OPTIMAL PLACES: LINGUISTIC PLATONISM, Beyond Philology, 5 (2008), 23-53.

  13. 2007
  14. Emanuel Kieroński, Lidia Tendera, ON FINITE SATISFIABILITY OF THE GUARDED FRAGMENT WITH EQUIVALENCE OR TRANSITIVE GUARDS, Lecture Notes in Artificial Intelligence, 4790 (2007), 318-332.
  15. Emanuel Kieroński, Lidia Tendera, ON FINITE SATISFIABILITY OF THE GUARDED FRAGMENT WITH EQUIVALENCE OR TRANSITIVE GUARDS, LPAR 2007, Erewań, Armenia, 15-19 października 2007 (2007), referat wygłoszony.

  16. 2005
  17. Carsten Lutz, Ulrike Sattler, Lidia Tendera, THE COMPLEXITY OF FINITE MODEL REASONING IN DESCRIPTION LOGICS, Information and Computation, 199 (2005), 132--171.
  18. Lidia Tendera, COUNTING IN THE TWO VARIABLE GUARDED LOGIC WITH TRANSITIVITY, Lecture Notes in Computer Science, 3404 (2005), 83-96.
  19. Lidia Tendera, COUNTING IN THE TWO VARIABLE GAURDED LOGIC WITH TRANSITIVITY, STACS 2005, Stuttgart, Niemcy, 23-27 luty, (2005), referat wygłoszony.
  20. Wiesław Szwast, Lidia Tendera, ON THE FINITE SATISFIABILITY PROBLEM FOR THE GUARDED FRAGMENT WITH TRANSITIVITY, Lecture Notes in Artificial Intelligence, 3835 (2005), 307-321.
  21. Lidia Tendera, ON THE FINITE SATISFIABILITY PROBLEM FOR THE GUARDED FRAGMENT WITH TRANSITIVITY, LPAR 2005, Montego Bay, Jamajka (2005), referat wygłoszony.

  22. 2004
  23. Wiesław Szwast, Lidia Tendera, THE GUARDED FRAGMENT WITH TRANSITIVE GUARDS, Annals of Pure and Applied Logic, 128 (2004), 227-276.

  24. 2003
  25. Carsten Lutz, Ulrike Sattler, Lidia Tendera, THE COMPLEXITY OF FINITE MODEL REASONING IN DESCRIPTION LOGICS, CADE 19, Lecture Notes in Artificial Intelligence, 2741 (2003), 60-74.
  26. Carsten Lutz, Ulrike Sattler, Lidia Tendera, FINITE MODEL REASONING IN ALCQI IS EXPTIME-COMPLETE, Proceedings of the 2003 International Workshop on Description Logics (DL2003),, CEUR Workshop Proceedings, CEUR-WS/Vol-81/ (2003), online.

  27. 2001
  28. Wiesław Szwast, Lidia Tendera, ON THE DECISION PROBLEM FOR THE GUARDED FRAGMENT WITH TRANSITIVITY, Proc. Annual IEEE Symposium on Logic in Computer Science, LICS, 16 (2001), 147-156.

  29. 2000
  30. Leszek Pacholski, Wiesław Szwast, Lidia Tendera, COMPLEXITY RESULTS FOR FIRST-ORDER TWO-VARIABLE LOGIC WITH COUNTING, SIAM Journal on Computing, Vol. 29, No 4 (2000), 1083-1117.

  31. 1997
  32. Leszek Pacholski, Wiesław Szwast, Lidia Tendera, COMPLEXITY OF TWO-VARIABLE LOGIC WITH COUNTING, Proc. 12-th Annual IEEE Symposium on Logic in Computer Science, Los Alamitos (1997), 318-327.

  33. 1994
  34. Lidia Tendera, A NOTE ON ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER MINIMAL CLASSES - THE LAST STEP, Fundamenta Informaticae, 20 (1994), 277-285.