Pages that link to "Item:Q4645245"
From MaRDI portal
The following pages link to Proof-search in intuitionistic logic based on constraint satisfaction (Q4645245):
Displaying 6 items.
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- Decidability and complexity of simultaneous rigid E-unification with one variable and related results (Q1575636) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem (Q1960430) (← links)
- Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification (Q4647498) (← links)
