Pages that link to "Unification (computer science)"
Showing 50 items.
- Artificial intelligence (links | edit)
- Boolean algebra (structure) (links | edit)
- Logic programming (links | edit)
- Prolog (links | edit)
- Scientific method (links | edit)
- Boolean ring (links | edit)
- Declarative programming (links | edit)
- Index of logic articles (links | edit)
- Symbolic artificial intelligence (links | edit)
- Assignment (computer science) (links | edit)
- Moscow State University (links | edit)
- Program synthesis (links | edit)
- Equation solving (links | edit)
- Higher-order logic (links | edit)
- Expression (mathematics) (links | edit)
- Feature structure (links | edit)
- Alma-0 (links | edit)
- Disjoint-set data structure (links | edit)
- Occurs check (links | edit)
- Admissible rule (links | edit)
- SWI-Prolog (links | edit)
- Constraint Handling Rules (links | edit)
- LKB (links | edit)
- Condensed detachment (links | edit)
- Resolution (logic) (links | edit)
- Evaluation strategy (links | edit)
- Q-systems (links | edit)
- Word problem (mathematics) (links | edit)
- Semipredicate problem (links | edit)
- Matita (links | edit)
- John Alan Robinson (links | edit)
- Robinson's unification algorithm (redirect to section "Unification algorithms") (links | edit)
- Most General Unifier (redirect page) (links | edit)
- Most general unifier (redirect to section "Syntactic unification of first-order terms") (links | edit)
- Boolean ring (links | edit)
- Program synthesis (links | edit)
- Admissible rule (links | edit)
- Resolution (logic) (links | edit)
- Parametric polymorphism (links | edit)
- MGU (disambiguation) (links | edit)
- Semantic mapping (statistics) (links | edit)
- Semantic unification (links | edit)
- Uninterpreted function (links | edit)
- Satisfiability (links | edit)
- Term (logic) (links | edit)
- Nominal terms (computer science) (links | edit)
- Unification (links | edit)
- Unification algorithm (redirect to section "Unification algorithms") (links | edit)
- Unification (computing) (redirect page) (links | edit)
- 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)
- Syntactic unification (redirect to section "Syntactic unification of first-order terms") (links | edit)
- Function (computer programming) (links | edit)
- Critical pair (term rewriting) (links | edit)
- Hindley–Milner type system (links | edit)
- Value restriction (links | edit)
- Subsumption lattice (links | edit)
- Anti-unification (links | edit)