Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Rewriting_systems> }
Showing triples 1 to 73 of
73
with 100 triples per page.
- Abstract_rewriting_system wikiPageWikiLink Category:Rewriting_systems.
- Buchbergers_algorithm wikiPageWikiLink Category:Rewriting_systems.
- Canonical_rewriting_system wikiPageWikiLink Category:Rewriting_systems.
- Church–Rosser_theorem wikiPageWikiLink Category:Rewriting_systems.
- Confluence_(abstract_rewriting) wikiPageWikiLink Category:Rewriting_systems.
- Congruence_closure wikiPageWikiLink Category:Rewriting_systems.
- Convergence_(logic) wikiPageWikiLink Category:Rewriting_systems.
- Critical_pair_(logic) wikiPageWikiLink Category:Rewriting_systems.
- Dershowitz–Manna_ordering wikiPageWikiLink Category:Rewriting_systems.
- Director_string wikiPageWikiLink Category:Rewriting_systems.
- Divergence_(computer_science) wikiPageWikiLink Category:Rewriting_systems.
- Encompassment_ordering wikiPageWikiLink Category:Rewriting_systems.
- Explicit_substitution wikiPageWikiLink Category:Rewriting_systems.
- Gröbner_basis wikiPageWikiLink Category:Rewriting_systems.
- Jean-Pierre_Jouannaud wikiPageWikiLink Category:Rewriting_systems.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Category:Rewriting_systems.
- Markov_algorithm wikiPageWikiLink Category:Rewriting_systems.
- Newmans_lemma wikiPageWikiLink Category:Rewriting_systems.
- Normal_form_(abstract_rewriting) wikiPageWikiLink Category:Rewriting_systems.
- Orthogonality_(term_rewriting) wikiPageWikiLink Category:Rewriting_systems.
- Overlap_(term_rewriting) wikiPageWikiLink Category:Rewriting_systems.
- Path_ordering_(term_rewriting) wikiPageWikiLink Category:Rewriting_systems.
- Reduction_(abstract_rewriting) wikiPageWikiLink Category:Rewriting_systems.
- Reduction_ordering wikiPageWikiLink Category:Rewriting_systems.
- Reduction_strategy_(code_optimization) wikiPageWikiLink Category:Rewriting_systems.
- Reflexive_closure wikiPageWikiLink Category:Rewriting_systems.
- Rewrite_order wikiPageWikiLink Category:Rewriting_systems.
- Rewriting wikiPageWikiLink Category:Rewriting_systems.
- Semi-Thue_system wikiPageWikiLink Category:Rewriting_systems.
- Symmetric_closure wikiPageWikiLink Category:Rewriting_systems.
- Term_(logic) wikiPageWikiLink Category:Rewriting_systems.
- Termination_(term_rewriting) wikiPageWikiLink Category:Rewriting_systems.
- Unification_(computer_science) wikiPageWikiLink Category:Rewriting_systems.
- Word_problem_(mathematics) wikiPageWikiLink Category:Rewriting_systems.
- Abstract_rewriting_system subject Category:Rewriting_systems.
- Buchbergers_algorithm subject Category:Rewriting_systems.
- Canonical_rewriting_system subject Category:Rewriting_systems.
- Church–Rosser_theorem subject Category:Rewriting_systems.
- Confluence_(abstract_rewriting) subject Category:Rewriting_systems.
- Congruence_closure subject Category:Rewriting_systems.
- Convergence_(logic) subject Category:Rewriting_systems.
- Critical_pair_(logic) subject Category:Rewriting_systems.
- Dershowitz–Manna_ordering subject Category:Rewriting_systems.
- Director_string subject Category:Rewriting_systems.
- Divergence_(computer_science) subject Category:Rewriting_systems.
- Encompassment_ordering subject Category:Rewriting_systems.
- Explicit_substitution subject Category:Rewriting_systems.
- Gröbner_basis subject Category:Rewriting_systems.
- Jean-Pierre_Jouannaud subject Category:Rewriting_systems.
- Knuth–Bendix_completion_algorithm subject Category:Rewriting_systems.
- Markov_algorithm subject Category:Rewriting_systems.
- Newmans_lemma subject Category:Rewriting_systems.
- Normal_form_(abstract_rewriting) subject Category:Rewriting_systems.
- Orthogonality_(term_rewriting) subject Category:Rewriting_systems.
- Overlap_(term_rewriting) subject Category:Rewriting_systems.
- Path_ordering_(term_rewriting) subject Category:Rewriting_systems.
- Reduction_(abstract_rewriting) subject Category:Rewriting_systems.
- Reduction_ordering subject Category:Rewriting_systems.
- Reduction_strategy_(code_optimization) subject Category:Rewriting_systems.
- Reflexive_closure subject Category:Rewriting_systems.
- Rewrite_order subject Category:Rewriting_systems.
- Rewriting subject Category:Rewriting_systems.
- Semi-Thue_system subject Category:Rewriting_systems.
- Symmetric_closure subject Category:Rewriting_systems.
- Term_(logic) subject Category:Rewriting_systems.
- Termination_(term_rewriting) subject Category:Rewriting_systems.
- Unification_(computer_science) subject Category:Rewriting_systems.
- Word_problem_(mathematics) subject Category:Rewriting_systems.
- Category:Abstract_machines broader Category:Rewriting_systems.
- Category:Graph_rewriting broader Category:Rewriting_systems.
- Category:Substitution_(logic) broader Category:Rewriting_systems.
- Category:Term-rewriting_programming_languages broader Category:Rewriting_systems.
- Category:Unification_(computer_science) broader Category:Rewriting_systems.