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):
Displaying 9 items.
- Optionality, scope, and licensing: An application of partially ordered categories (Q1024814) (← links)
- 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)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Complexity of the universal theory of modal algebras (Q2307300) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
