Pages that link to "Item:Q1917079"
From MaRDI portal
The following pages link to The undecidability of second order multiplicative linear logic (Q1917079):
Displayed 9 items.
- Phase semantics for light linear logic (Q1398478) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- On the decision problem for MELL (Q1733062) (← links)
- Linear concurrent constraint programming: Operational and phase semantics (Q1854410) (← links)
- A PSPACE-complete fragment of second-order linear logic (Q1960427) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- The finite model property for various fragments of linear logic (Q4382470) (← links)
- System NEL is Undecidable (Q4924537) (← links)
- Encoding Hamiltonian circuits into multiplicative linear logic (Q5958784) (← links)