The following pages link to (Q5028439):
Displaying 9 items.
- Efficient general AGH-unification (Q462489) (← links)
- Improving automation for higher-order proof steps (Q831930) (← links)
- A combinator-based superposition calculus for higher-order logic (Q2096452) (← links)
- Functions-as-constructors higher-order unification: extended pattern unification (Q2134936) (← links)
- Efficient Contextual Unfolding (Q3090840) (← links)
- Efficient Local Unfolding with Ancestor Stacks for Full Prolog (Q5458800) (← links)
- Logic Programming (Q5475791) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- Extending a high-performance prover to higher-order logic (Q6536126) (← links)