Pages that link to "Item:Q1877098"
From MaRDI portal
The following pages link to The guarded fragment with transitive guards (Q1877098):
Displaying 17 items.
- On the complexity of the two-variable guarded fragment with transitive guards (Q859827) (← links)
- Deciding the guarded fragments by resolution (Q1867216) (← 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)
- Guarded fragments with constants (Q2567342) (← links)
- Querying the Unary Negation Fragment with Regular Path Expressions. (Q3305361) (← links)
- (Q3384090) (← links)
- (Q4736875) (← links)
- Query Answering with Transitive and Linear-Ordered Data (Q4963219) (← links)
- (Q5092376) (← links)
- Complexity of Two-Variable Logic on Finite Trees (Q5278193) (← links)
- Automated Reasoning (Q5307053) (← links)
- Logics in Artificial Intelligence (Q5394138) (← links)
- Computer Science Logic (Q5394585) (← links)
- Querying the Guarded Fragment (Q5417742) (← links)
- STACS 2005 (Q5710721) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)