Pages that link to "Item:Q1035836"
From MaRDI portal
The following pages link to On the complexity of nonassociative Lambek calculus with unit (Q1035836):
Displaying 6 items.
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- Unidirectional Lambek grammars in polynomial time (Q987373) (← links)
- Classical non-associative Lambek calculus (Q1850952) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity (Q4608556) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)