The following pages link to (Q4812964):
Displaying 8 items.
- Higher-Order Dynamic Pattern Unification for Dependent Types and Records (Q3007654) (← links)
- Extended ASP Tableaux and rule redundancy in normal logic programs (Q3546041) (← links)
- A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications (Q3647294) (← links)
- (Q3686698) (← links)
- A framework for using knowledge in tableau proofs (Q4610337) (← links)
- Proof-producing synthesis of ML from higher-order logic (Q5168887) (← links)
- Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) (Q5747747) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
