The following pages link to (Q4411821):
Displaying 6 items.
- A proof-theoretic semantics for adjectival modification (Q683680) (← links)
- The additive multiboxes (Q1861326) (← links)
- Structure of proofs and the complexity of cut elimination (Q2368983) (← links)
- A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness (Q2842102) (← links)
- Context semantics, linear logic, and computational complexity (Q2946582) (← links)
- On intuitionistic proof nets with additional rewrite rules and their approximations (Q4916174) (← links)