Pages that link to "Item:Q859827"
From MaRDI portal
The following pages link to On the complexity of the two-variable guarded fragment with transitive guards (Q859827):
Displayed 6 items.
- Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment (Q2055791) (← links)
- The fluted fragment with transitive relations (Q2238133) (← links)
- Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
- (Q5092376) (← links)
- One-Dimensional Logic over Trees (Q5111281) (← links)
- (Q5136301) (← links)