Pages that link to "Item:Q1854403"
From MaRDI portal
The following pages link to Decidability of linear affine logic (Q1854403):
Displaying 15 items.
- Phase semantics and decidability of elementary affine logic (Q596037) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707) (← links)
- The decidability of the intensional fragment of classical linear logic (Q2517231) (← links)
- Nonelementary Complexities for Branching VASS, MELL, and Extensions (Q2946760) (← links)
- Affine sessions (Q4558783) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Judgement aggregation in non-classical logics (Q4586224) (← links)
- Interpretations of Weak Positive Modal Logics (Q5020162) (← links)
- (Q5020970) (← links)
- Decidability of affine solution problems (Q5158360) (← links)
- Detecting Loops During Proof Search in Propositional Affine Logic (Q5488611) (← links)
- Exponentially handsome proof nets and their normalization (Q6657781) (← links)