The following pages link to (Q4264724):
Displaying 7 items.
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- The anatomy of vampire. Implementing bottom-up procedures with code trees (Q1904404) (← links)
- Theorem prover for intuitionistic logic based on the inverse method (Q2216868) (← links)
- Proof-search in intuitionistic logic based on constraint satisfaction (Q4645245) (← links)
- A resolution theorem prover for intuitionistic logic (Q4647496) (← links)
- Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification (Q4647498) (← links)
- Some pitfalls of LK-to-LJ translations and how to avoid them (Q5234695) (← links)
