BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Croatia
1 × Italy
1 × Latvia
1 × Poland
3 × USA
Collaborated with:
W.Szwast E.Kieronski I.Pratt-Hartmann G.Gottlob A.Pieris C.Lutz U.Sattler L.Pacholski J.Michaliszyn
Talks about:
logic (4) fragment (3) variabl (3) two (3) transit (2) equival (2) complex (2) order (2) guard (2) first (2)

Person: Lidia Tendera

DBLP DBLP: Tendera:Lidia

Contributed to:

CSL 20132013
ICALP (2) 20132013
LICS 20122012
LICS 20092009
CADE 20032003
LICS 20012001
LICS 19971997
CSL 20162016

Wrote 8 papers:

Means and Limits of Decision (LT), pp. 28–29.
ICALP-v2-2013-GottlobPT #query #transitive
Querying the Guarded Fragment with Transitivity (GG, AP, LT), pp. 287–298.
LICS-2012-KieronskiMPT #equivalence #first-order #logic
Two-Variable First-Order Logic with Equivalence Closure (EK, JM, IPH, LT), pp. 431–440.
LICS-2009-KieronskiT #equivalence #finite #first-order #logic #on the #satisfiability
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations (EK, LT), pp. 123–132.
CADE-2003-LutzST #complexity #finite #logic #reasoning
The Complexity of Finite Model Reasoning in Description Logics (CL, US, LT), pp. 60–74.
LICS-2001-SzwastT #on the #problem #transitive
On the Decision Problem for the Guarded Fragment with Transitivity (WS, LT), pp. 147–156.
LICS-1997-PacholskiST #complexity #logic
Complexity of Two-Variable Logic with Counting (LP, WS, LT), pp. 318–327.
Quine's Fluted Fragment is Non-Elementary (IPH, WS, LT), p. 21.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.