Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Unification_(computer_science)> }
- John_Alan_Robinson knownFor Unification_(computer_science).
- Unification wikiPageDisambiguates Unification_(computer_science).
- E-Unification wikiPageRedirects Unification_(computer_science).
- E-unification wikiPageRedirects Unification_(computer_science).
- Martelli-Montanari_algorithm wikiPageRedirects Unification_(computer_science).
- Most_General_Unifier wikiPageRedirects Unification_(computer_science).
- Most_general_unifier wikiPageRedirects Unification_(computer_science).
- Narrowing_(computer_science) wikiPageRedirects Unification_(computer_science).
- Robinsons_unification_algorithm wikiPageRedirects Unification_(computer_science).
- Syntactic_unification wikiPageRedirects Unification_(computer_science).
- Unification_(computing) wikiPageRedirects Unification_(computer_science).
- Unification_(term_rewriting) wikiPageRedirects Unification_(computer_science).
- Unification_algorithm wikiPageRedirects Unification_(computer_science).
- Admissible_rule wikiPageWikiLink Unification_(computer_science).
- Alma-0 wikiPageWikiLink Unification_(computer_science).
- Anti-unification_(computer_science) wikiPageWikiLink Unification_(computer_science).
- Assignment_(computer_science) wikiPageWikiLink Unification_(computer_science).
- Automated_theorem_proving wikiPageWikiLink Unification_(computer_science).
- Boolean_algebra_(structure) wikiPageWikiLink Unification_(computer_science).
- Condensed_detachment wikiPageWikiLink Unification_(computer_science).
- Constraint_Handling_Rules wikiPageWikiLink Unification_(computer_science).
- Constraint_logic_programming wikiPageWikiLink Unification_(computer_science).
- Constraint_satisfaction wikiPageWikiLink Unification_(computer_science).
- David_Plaisted wikiPageWikiLink Unification_(computer_science).
- Declarative_programming wikiPageWikiLink Unification_(computer_science).
- Dis-unification_(computer_science) wikiPageWikiLink Unification_(computer_science).
- Disjoint-set_data_structure wikiPageWikiLink Unification_(computer_science).
- Drinker_paradox wikiPageWikiLink Unification_(computer_science).
- E-Unification wikiPageWikiLink Unification_(computer_science).
- E-unification wikiPageWikiLink Unification_(computer_science).
- Equation_solving wikiPageWikiLink Unification_(computer_science).
- First-order_logic wikiPageWikiLink Unification_(computer_science).
- Functional_logic_programming wikiPageWikiLink Unification_(computer_science).
- Futures_and_promises wikiPageWikiLink Unification_(computer_science).
- Gérard_Huet wikiPageWikiLink Unification_(computer_science).
- Higher-order_logic wikiPageWikiLink Unification_(computer_science).
- Hindley–Milner_type_system wikiPageWikiLink Unification_(computer_science).
- History_of_artificial_intelligence wikiPageWikiLink Unification_(computer_science).
- Index_of_logic_articles wikiPageWikiLink Unification_(computer_science).
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Unification_(computer_science).
- Isabelle_(proof_assistant) wikiPageWikiLink Unification_(computer_science).
- John_Alan_Robinson wikiPageWikiLink Unification_(computer_science).
- LKB wikiPageWikiLink Unification_(computer_science).
- List_of_important_publications_in_theoretical_computer_science wikiPageWikiLink Unification_(computer_science).
- MGU_(disambiguation) wikiPageWikiLink Unification_(computer_science).
- Many-sorted_logic wikiPageWikiLink Unification_(computer_science).
- Martelli-Montanari_algorithm wikiPageWikiLink Unification_(computer_science).
- Matita wikiPageWikiLink Unification_(computer_science).
- Most_General_Unifier wikiPageWikiLink Unification_(computer_science).
- Most_general_unifier wikiPageWikiLink Unification_(computer_science).
- Narrowing_(computer_science) wikiPageWikiLink Unification_(computer_science).
- Nominal_terms_(computer_science) wikiPageWikiLink Unification_(computer_science).
- Occurs_check wikiPageWikiLink Unification_(computer_science).
- Outline_of_logic wikiPageWikiLink Unification_(computer_science).
- Pattern_matching wikiPageWikiLink Unification_(computer_science).
- Principal_type wikiPageWikiLink Unification_(computer_science).
- Program_synthesis wikiPageWikiLink Unification_(computer_science).
- Prolog_syntax_and_semantics wikiPageWikiLink Unification_(computer_science).
- Q-systems wikiPageWikiLink Unification_(computer_science).
- Resolution_(logic) wikiPageWikiLink Unification_(computer_science).
- Resolution_inference wikiPageWikiLink Unification_(computer_science).
- Robinson_algorithm wikiPageWikiLink Unification_(computer_science).
- Robinsons_unification_algorithm wikiPageWikiLink Unification_(computer_science).
- SLD_resolution wikiPageWikiLink Unification_(computer_science).
- Satisfiability wikiPageWikiLink Unification_(computer_science).
- Semipredicate_problem wikiPageWikiLink Unification_(computer_science).
- Simply_typed_lambda_calculus wikiPageWikiLink Unification_(computer_science).
- Substitution_(logic) wikiPageWikiLink Unification_(computer_science).
- Subsumption_lattice wikiPageWikiLink Unification_(computer_science).
- Syntactic_unification wikiPageWikiLink Unification_(computer_science).
- Term_(logic) wikiPageWikiLink Unification_(computer_science).
- Unification wikiPageWikiLink Unification_(computer_science).
- Unification_(computer_science) wikiPageWikiLink Unification_(computer_science).
- Unification_(computing) wikiPageWikiLink Unification_(computer_science).
- Unification_(term_rewriting) wikiPageWikiLink Unification_(computer_science).
- Unification_algorithm wikiPageWikiLink Unification_(computer_science).
- Uninterpreted_function wikiPageWikiLink Unification_(computer_science).
- Van_Wijngaarden_grammar wikiPageWikiLink Unification_(computer_science).
- Wayne_Snyder wikiPageWikiLink Unification_(computer_science).
- Word_problem_(mathematics) wikiPageWikiLink Unification_(computer_science).
- ΛProlog wikiPageWikiLink Unification_(computer_science).
- MI6-Ch4-Robinson.pdf isCitedBy Unification_(computer_science).
- bsz325106819.html isCitedBy Unification_(computer_science).
- cnr_iei_1976-B4-041.html isCitedBy Unification_(computer_science).
- jlc91.pdf isCitedBy Unification_(computer_science).
- pdf?md5=404ce04b363525aef2a1277b2ec249d1&pid=1-s2.0-0022000078900430-main.pdf isCitedBy Unification_(computer_science).
- CS-76-13.pdf isCitedBy Unification_(computer_science).
- 016621725d836a3e9156f8a5355a538088b58856e677f3e81c0b3ce0d691bf22 isCitedBy Unification_(computer_science).
- 2188d124eb5d3042dd1c6d6e7f9fd7fbeff39fc03e064e1e063a1b8952391047 isCitedBy Unification_(computer_science).
- 3179f488affa8e09b263f462e80db5b5c3c5e3b42f04d1a42b4f79040639acb0 isCitedBy Unification_(computer_science).
- 49019ad79be356c9d9f653aebb09427c633fd3c045bf03614c2dfbef1fcee785 isCitedBy Unification_(computer_science).
- 4d44d1f6ee24c09fb59f8e2b27bddf4ed05daab0dd0143bf4e0c6fc60365be19 isCitedBy Unification_(computer_science).
- 746800f2276d51eed8869d2cc262391633f7363a5cf02aaff8d516aad340267b isCitedBy Unification_(computer_science).
- 9fab801f2732b4604a4d051ed1ea78edfed44aad51c5da25503408512568ea3b isCitedBy Unification_(computer_science).
- a683883fac1bd6d9d7b9770eed3dbe4e9cb98ff47281878bb4550f6a849a9367 isCitedBy Unification_(computer_science).
- a8beed6a959b90e5049a1427f5bdf47e0e1eec747a9f805a38cd3cc49daff91d isCitedBy Unification_(computer_science).
- af5fee37637ac6f5ca7a4ffdd47614b69cdc1d4d9e37013fdca88bd0736d36bf isCitedBy Unification_(computer_science).
- c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d isCitedBy Unification_(computer_science).
- e78dede16713a05ad69be19cb9d688e79a82ddfce1802f348cfae8a7d33d9a8a isCitedBy Unification_(computer_science).
- ef5f305fb97352eeec55790b5b774250042b6dac0616e212f1251187269e6bc1 isCitedBy Unification_(computer_science).