The following pages link to More fragments of language. (Q867399):
Displayed 6 items.
- Tractability and intractability of controlled languages for data access (Q692195) (← links)
- Equivalential structures for binary and ternary syllogistics (Q1711503) (← links)
- A system of relational syllogistic incorporating full Boolean reasoning (Q2255203) (← links)
- Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents (Q2255227) (← links)
- On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics (Q5387294) (← links)
- Designing efficient controlled languages for ontologies (Q6201612) (← links)