Two-Variable First-Order Logic with Equivalence Closure
Kieroński, Emanuel, Michaliszyn, Jakub, Pratt-Hartmann, Ian, Tendera, Lidia
Published in SIAM journal on computing (01.01.2014)
Published in SIAM journal on computing (01.01.2014)
Get full text
Journal Article
Querying the Guarded Fragment with Transitivity
Gottlob, Georg, Pieris, Andreas, Tendera, Lidia
Published in Automata, Languages, and Programming (2013)
Published in Automata, Languages, and Programming (2013)
Get full text
Book Chapter
Finite Model Reasoning in Expressive Fragments of First-Order Logic
Get full text
Paper
Journal Article
The complexity of finite model reasoning in description logics
Lutz, Carsten, Sattler, Ulrike, Tendera, Lidia
Published in Information and computation (01.05.2005)
Published in Information and computation (01.05.2005)
Get full text
Journal Article
Conference Proceeding
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations
Kieronski, E., Tendera, L.
Published in 2009 24th Annual IEEE Symposium on Logic In Computer Science (01.08.2009)
Published in 2009 24th Annual IEEE Symposium on Logic In Computer Science (01.08.2009)
Get full text
Conference Proceeding
Two-Variable First-Order Logic with Equivalence Closure
Kieronski, E., Michaliszyn, J., Pratt-Hartmann, I., Tendera, L.
Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (01.06.2012)
Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (01.06.2012)
Get full text
Conference Proceeding
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity
Get full text
Book Chapter
Conference Proceeding
Complexity of two-variable logic with counting
Pacholski, L., Szwast, W., Tendera, L.
Published in Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science (1997)
Published in Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science (1997)
Get full text
Conference Proceeding