Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Unification_(computer_science)> }
Showing triples 1 to 83 of
83
with 100 triples per page.
- 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).
- 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).
- 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).
- 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).
- 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).
- 0304-3975(83)90059-2 isCitedBy Unification_(computer_science).
- 0304-3975(86)90027-7 isCitedBy Unification_(computer_science).
- 62029.62030 isCitedBy Unification_(computer_science).
- John_Alan_Robinson knownFor Unification_(computer_science).
- Category:Unification_(computer_science) subject Unification_(computer_science).
- Unification_(computer_science) primaryTopic Unification_(computer_science).