Pages that link to "Unification (computing)"
Showing 22 items.
- Automated theorem proving (links | edit)
- First-order logic (links | edit)
- Isabelle (proof assistant) (links | edit)
- Constraint satisfaction (links | edit)
- Van Wijngaarden grammar (links | edit)
- Constraint Handling Rules (links | edit)
- Simply typed lambda calculus (links | edit)
- Futures and promises (links | edit)
- Resolution (logic) (links | edit)
- History of artificial intelligence (links | edit)
- Constraint logic programming (links | edit)
- ΛProlog (links | edit)
- Outline of logic (links | edit)
- International Conference on Rewriting Techniques and Applications (links | edit)
- SLD resolution (links | edit)
- Gérard Huet (links | edit)
- Prolog syntax and semantics (links | edit)
- Nominal terms (computer science) (links | edit)
- Hindley–Milner type system (links | edit)
- Talk:Prolog/Archive 1 (links | edit)
- User:Rp/sandbox (links | edit)
- User talk:Liz/Whiteboard2 (links | edit)