The following pages link to (Q4229811):
Displaying 10 items.
- A decision algorithm for distributive unification (Q1275018) (← links)
- Developing developments (Q1392147) (← links)
- HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic (Q2713352) (← links)
- Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming (Q3067475) (← links)
- Development closed critical pairs (Q4645811) (← links)
- (Q5028439) (← links)
- Higher-order narrowing with convergent systems (Q5096386) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains (Q5179011) (← links)
- Inductive-data-type systems (Q5958292) (← links)