Pages that link to "Item:Q2978506"
From MaRDI portal
The following pages link to Parameterized Complexity of Fixed Variable Logics (Q2978506):
Displaying 4 items.
- Complexity of fixed-size bit-vector logics (Q504997) (← links)
- Parameterized complexity of some prefix-vocabulary fragments of first-order logic (Q1799280) (← links)
- Parameterized Complexity Classes under Logical Reductions (Q3182930) (← links)
- Variant Satisfiability of Parameterized Strings (Q6486037) (← links)