Pages that link to "Unification (computer science)"
Jump to navigation
Jump to search
The following pages link to Unification (computer science):
Displaying 36 items.
- Artificial intelligence (links)
- Boolean algebra (structure) (links)
- Logic programming (links)
- Prolog (links)
- Boolean ring (links)
- Function symbol (links)
- Declarative programming (links)
- Symbolic artificial intelligence (links)
- Assignment (computer science) (links)
- Program synthesis (links)
- Equation solving (links)
- Higher-order logic (links)
- Expression (mathematics) (links)
- Feature structure (links)
- Alma-0 (links)
- Disjoint-set data structure (links)
- Occurs check (links)
- SWI-Prolog (links)
- Constraint Handling Rules (links)
- Condensed detachment (links)
- Resolution (logic) (links)
- Evaluation strategy (links)
- Q-systems (links)
- Word problem (mathematics) (links)
- Semipredicate problem (links)
- Matita (links)
- Robinson's unification algorithm (redirect to section "Unification algorithms") (links)
- Most General Unifier (redirect page) (links)
- Most general unifier (redirect to section "Syntactic unification of first-order terms") (links)
- Semantic mapping (statistics) (links)
- Talk:Unification (computer science) (links)
- Talk:Structural induction (links)
- Talk:Equation solving (links)
- Talk:Tree (set theory) (links)
- User:Diego Moya (links)
- Wiki143:WikiProject Mathematics/List of mathematics articles (U) (links)