Pages that link to "Item:Q1314274"
From MaRDI portal
The following pages link to A modal perspective on the computational complexity of attribute value grammar (Q1314274):
Displayed 5 items.
- On the expressivity of feature logics with negation, functional uncertainty, and sort equations (Q1314281) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- The price of universality (Q1815426) (← links)
- Combining deduction and model checking into tableaux and algorithms for converse-PDL. (Q1854371) (← links)
- Fibred semantics for feature-based grammar logic (Q1923842) (← links)