Pages that link to "Unification (computer science)"
Appearance
Showing 112 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)
- Unification (computer science) (transclusion) (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)
- 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)
- Unification (computer science) (links | edit)
- Principal type (links | edit)
- Robinson algorithm (links | edit)
- User:PabloCastellano (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)
- Systems thinking (links | edit)
- John Alan Robinson (links | edit)
- Gérard Huet (links | edit)
- User:Qwerfjkl/sandbox/WD redirects (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)
- Dis-unification (links | edit)
- François Fages (links | edit)
- E-unification (redirect to section "E-unification") (links | edit)
- David Plaisted (links | edit)
- Wayne Snyder (links | edit)
- Narrowing (computer science) (redirect to section "Narrowing") (links | edit)
- Narrowing (links | edit)
- Talk:Unification (computer science) (links | edit)
- Talk:Narrowing (computer science) (links | edit)
- User talk:Jochen Burghardt (links | edit)
- Wikipedia:Redirects for discussion/Log/2022 September 12 (links | edit)
- Wikipedia:Redirects for discussion/Log/2022 October 11 (links | edit)
- E-Unification (redirect to section "E-unification") (links | edit)
- Unification (term rewriting) (redirect page) (links | edit)
- Martelli-Montanari algorithm (redirect to section "A unification algorithm") (links | edit)
- Unification (logic) (redirect page) (links | edit)
- Boolean ring (links | edit)
- Franz Baader (links | edit)
- Martelli-Montanari unification algorithm (redirect to section "A unification algorithm") (links | edit)
- Higher-order unification (redirect to section "Higher-order unification") (links | edit)
- Higher-order pattern unification (redirect to section "Higher-order unification") (links | edit)
- Order-sorted unification (redirect to section "Order-sorted unification") (links | edit)
- Many-sorted logic (links | edit)
- Flix (programming language) (links | edit)
- Deepak Kapur (links | edit)
- Syntactically unifying (redirect to section "Syntactic unification of first-order terms") (links | edit)
- Dale Miller (academic) (links | edit)
- Talk:Unification (computer science) (transclusion) (links | edit)
- Talk:Structural induction (links | edit)
- Talk:Equation solving (links | edit)
- Talk:Tree (set theory) (links | edit)
- Talk:Equation (links | edit)
- Talk:Hindley–Milner type system (links | edit)
- Talk:Semantic unification (links | edit)
- Talk:Algebraic structure/Archive 1 (links | edit)
- User:Diego Moya (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:VeblenBot/List of mathematical logic articles log (links | edit)
- User:Ruud Koot/Computer science (links | edit)
- User:Tompw/Books/Mathematics (links | edit)
- User:Tompw/Books/Mathematics (U) (links | edit)
- User:Thepigdog/Relational programming (links | edit)
- User:Tom.Reding/Pages containing ⊕ (links | edit)
- User:Frietjes/t (links | edit)
- User:Manesajian/Books/Computer Science 99 (links | edit)
- User:Jmcgarey/Books/Programming Language Theory (links | edit)
- User:Zarzuelazen/Books/Reality Theory: Computational&Non-Classical Logic (links | edit)
- User:Tiredmeliorist/sandbox (links | edit)
- User:BHGbot/6/List 3 (links | edit)
- User:Qwerfjkl/preservedCategories/Category:CS1: long volume value (links | edit)
- User:Veritas Aeterna/Updated Work in Progress, Symbolic Artificial Intelligence (links | edit)
- User:Robert Kowalski/sandbox (links | edit)
- User talk:Diego Moya/Archive 2 (links | edit)
- User talk:EdwardH (links | edit)
- User talk:0xDeadbeef/Archive 0 (links | edit)
- User talk:Ddccc (links | edit)
- User talk:58.82.204.174 (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematics articles (S–U) (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematics articles (U) (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/C4 (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/T4 (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/Publisher1 (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/Publisher2 (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/Publisher16 (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/DOI/10.1010 (links | edit)
- Wikipedia:CHECKWIKI/WPC 552 dump (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/DOI/10.40000 (links | edit)
- Wikipedia:Redirects for discussion/Log/2022 September 12 (links | edit)
- Wikipedia:Redirects for discussion/Log/2022 October 11 (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/DOI/10.1005 (links | edit)
- Wikipedia:Articles for deletion/Fresh variable (links | edit)
- Wikipedia:Articles for deletion/Log/2024 January 28 (links | edit)
- Category:Unification (computer science) (links | edit)