( en | de | ru )

 

Disambiguation of "Tendera, Lidia"

Author of the publication

copydeleteadd this publication to your clipboard
Quine's Fluted Fragment is Non-Elementary.

, , and . CSL, volume 62 of LIPIcs, page 39:1-39:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lidia Dessau

Lidia Tarnawska

Lidia Sabic

Lidia Smischek

Lidia Ogiolda

 

Other publications of authors with the same name

On the Fluted Fragment (Invited Talk).. STACS, volume 187 of LIPIcs, page 3:1-3:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Decidability Frontier for Fragments of First-Order Logic with Transitivity.. Description Logics, volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Means and Limits of Decision (Invited Talk).. CSL, volume 23 of LIPIcs, page 28-29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)On the satisfiability problem for fragments of two-variable logic with one transitive relation., and . J. Log. Comput., 29 (6): 881-911 (2019)Finite Model Reasoning in Expressive Fragments of First-Order Logic.. M4M@ICLA, volume 243 of EPTCS, page 43-57. (2017)Two-Variable First-Order Logic with Equivalence Closure., , , and . SIAM J. Comput., 43 (3): 1012-1063 (2014)FO^2 with one transitive relation is decidable., and . STACS, volume 20 of LIPIcs, page 317-328. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)On the Decision Problem for the Guarded Fragment with Transitivity., and . LICS, page 147-156. IEEE Computer Society, (2001)A Note on Asymptotic Probabilities of Existential Second-Order Minimal Classes - the Last Step.. Fundam. Informaticae, 20 (4): 277-285 (1994)Equivalence closure in the two-variable guarded fragment., , and . J. Log. Comput., 27 (4): 999-1021 (2017)