Pages that link to "Item:Q5285991"
From MaRDI portal
The following pages link to An Intuitionistic Predicate Logic Theorem Prover (Q5285991):
Displaying 5 items.
- The ILTP problem library for intuitionistic logic (Q877897) (← links)
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- Two loop detection mechanisms: A comparison (Q4610326) (← links)
- ileanTAP: An intuitionistic theorem prover (Q4610335) (← links)
