Pages that link to "Item:Q4894725"
From MaRDI portal
The following pages link to The undecidability of second order linear logic without exponentials (Q4894725):
Displayed 6 items.
- Phase semantics for light linear logic (Q1398478) (← links)
- A PSPACE-complete fragment of second-order linear logic (Q1960427) (← links)
- Word problem for knotted residuated lattices. (Q2254319) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- System NEL is Undecidable (Q4924537) (← links)
- Encoding Hamiltonian circuits into multiplicative linear logic (Q5958784) (← links)