Pages that link to "Unification (computer science)"
Jump to navigation
Jump to search
The following pages link to Unification (computer science):
Displaying 17 items.
- Boolean algebra (structure) (← links)
- Program synthesis (← links)
- Equation solving (← links)
- Expression (mathematics) (← links)
- Feature structure (← links)
- Disjoint-set data structure (← links)
- Occurs check (← links)
- Constraint Handling Rules (← links)
- Condensed detachment (← links)
- Resolution (logic) (← links)
- Word problem (mathematics) (← links)
- Satisfiability (← links)
- Term (logic) (← links)
- Critical pair (term rewriting) (← links)
- Hindley–Milner type system (← links)
- Value restriction (← links)
- Anti-unification (← links)