The following pages link to Markus Frick (Q705068):
Displaying 8 items.
- Generalized model-checking over locally tree-decomposable classes (Q705069) (← links)
- The complexity of first-order and monadic second-order logic revisited (Q1886318) (← links)
- (Q2735980) (← links)
- Deciding first-order properties of locally tree-decomposable structures (Q3196630) (← links)
- Query evaluation via tree-decompositions (Q3455547) (← links)
- (Q4473259) (← links)
- (Q4736877) (← links)
- (Q4938635) (← links)
