Pages that link to "Item:Q671512"
From MaRDI portal
The following pages link to Forum: A multiple-conclusion specification logic (Q671512):
Displayed 16 items.
- Encoding transition systems in sequent calculus (Q1398474) (← links)
- On the intuitionistic force of classical search (Q1575923) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Efficient resource management for linear logic proof search (Q1575929) (← links)
- Cut-elimination for a logic with definitions and induction (Q1575931) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- MELL in the calculus of structures (Q1884903) (← links)
- On structuring proof search for first order linear logic (Q2503319) (← links)
- Non-commutative proof construction: a constraint-based approach (Q2503402) (← links)
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
- (Q2703720) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- (Q4499267) (← links)
- (Q4499269) (← links)
- Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)
- Proofs as computations in linear logic (Q5941199) (← links)