Pages that link to "Item:Q1877098"
From MaRDI portal
The following pages link to The guarded fragment with transitive guards (Q1877098):
Displaying 8 items.
- On the complexity of the two-variable guarded fragment with transitive guards (Q859827) (← links)
- The fluted fragment with transitive relations (Q2238133) (← links)
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
- Querying the Unary Negation Fragment with Regular Path Expressions. (Q3305361) (← links)
- (Q3384090) (← links)
- (Q5092376) (← links)
- Complexity of Two-Variable Logic on Finite Trees (Q5278193) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
