Pages that link to "Item:Q4647538"
From MaRDI portal
The following pages link to Converting non-classical matrix proofs into sequent-style systems (Q4647538):
Displaying 4 items.
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Tableaux methods for access control in distributed systems (Q4610331) (← links)
- Connection-based proof construction in linear logic (Q5234702) (← links)
