The following pages link to On the decision problem for MELL (Q1733062):
Displaying 4 items.
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Constructive decision via redundancy-free proof-search (Q5919012) (← links)
- Algorithmic complexity for theories of commutative Kleene algebras (Q6492397) (← links)
- Exponentially handsome proof nets and their normalization (Q6657781) (← links)