The following pages link to Lidia Tendera (Q1877097):
Displayed 20 items.
- The guarded fragment with transitive guards (Q1877098) (← links)
- The fluted fragment with transitive relations (Q2238133) (← links)
- The complexity of finite model reasoning in description logics (Q2486582) (← links)
- (Q2957894) (← links)
- (Q2958509) (← links)
- Equivalence closure in the two-variable guarded fragment (Q3133154) (← links)
- On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards (Q3498476) (← links)
- (Q4304750) (← links)
- Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants (Q4608732) (← links)
- Complexity Results for First-Order Two-Variable Logic with Counting (Q4943858) (← links)
- (Q5092377) (← links)
- THE FLUTED FRAGMENT REVISITED (Q5195057) (← links)
- On the satisfiability problem for fragments of two-variable logic with one transitive relation (Q5212557) (← links)
- (Q5278428) (← links)
- Querying the Guarded Fragment with Transitivity (Q5327441) (← links)
- On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity (Q5387847) (← links)
- STACS 2005 (Q5710721) (← links)
- Two-Variable First-Order Logic with Equivalence Closure (Q5892437) (← links)
- Two-Variable First-Order Logic with Equivalence Closure (Q5895185) (← links)
- Automated Deduction – CADE-19 (Q5900710) (← links)