Pages that link to "Unification (computer science)"
The following pages link to Unification (computer science):
Showing 50 items.
- Artificial intelligence (links)
- Semantic mapping (statistics) (links)
- Boolean algebra (structure) (links)
- Syntactic unification (redirect to section "Syntactic unification of first-order terms") (links)
- Logic programming (links)
- Prolog (links)
- Unification algorithm (redirect to section "Unification algorithms") (links)
- Gérard Huet (links)
- John Alan Robinson (links)
- Systems thinking (links)
- Function (computer programming) (links)
- Critical pair (term rewriting) (links)
- Semantic unification (links)
- Boolean ring (links)
- Unification (computer science) (transclusion) (links)
- Uninterpreted function (links)
- Semipredicate problem (links)
- Hindley–Milner type system (links)
- E-unification (redirect to section "E-unification") (links)
- Wayne Snyder (links)
- Narrowing (computer science) (redirect to section "Narrowing") (links)
- E-Unification (redirect to section "E-unification") (links)
- Unification (logic) (redirect page) (links)
- Boolean ring (links)
- Unification (term rewriting) (redirect page) (links)
- Order-sorted unification (redirect to section "Order-sorted unification") (links)
- Dale Miller (academic) (links)
- Anti-unification (links)
- Dis-unification (links)
- John Alan Robinson (links)
- Subsumption lattice (links)
- Satisfiability (links)
- Declarative programming (links)
- Martelli-Montanari unification algorithm (redirect to section "A unification algorithm") (links)
- Condensed detachment (links)
- Evaluation strategy (links)
- Unification (computing) (redirect page) (links)
- SLD resolution (links)
- Automated theorem proving (links)
- First-order logic (links)
- Gérard Huet (links)
- Simply typed lambda calculus (links)
- ΛProlog (links)
- Hindley–Milner type system (links)
- Futures and promises (links)
- Isabelle (proof assistant) (links)
- Resolution (logic) (links)
- Nominal terms (computer science) (links)
- Constraint satisfaction (links)
- Robinson's unification algorithm (redirect to section "Unification algorithms") (links)
- Resolution (logic) (links)
- Nominal terms (computer science) (links)
- Unification (links)
- Martelli-Montanari algorithm (redirect to section "A unification algorithm") (links)
- Index of logic articles (links)
- Higher-order unification (redirect to section "Higher-order unification") (links)
- Higher-order pattern unification (redirect to section "Higher-order unification") (links)
- Value restriction (links)
- Alma-0 (links)
- Symbolic artificial intelligence (links)
- Assignment (computer science) (links)
- English Wikipedia @ Freddythechick:Redirects for discussion/Log/2022 September 12 (links)
- English Wikipedia @ Freddythechick:Redirects for discussion/Log/2022 October 11 (links)
- English Wikipedia @ Freddythechick:WikiProject Academic Journals/Journals cited by Wikipedia/DOI/10.1010 (links)
- English Wikipedia @ Freddythechick:Articles for deletion/Fresh variable (links)
- English Wikipedia @ Freddythechick:WikiProject Academic Journals/Journals cited by Wikipedia/C4 (links)
- English Wikipedia @ Freddythechick:WikiProject Academic Journals/Journals cited by Wikipedia/T4 (links)