Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Rewriting_systems> . }
Showing items 1 to 31 of
31
with 100 items per page.
- Abstract_rewriting_system subject Category:Rewriting_systems.
- Buchberger's_algorithm subject Category:Rewriting_systems.
- Church–Rosser_theorem subject Category:Rewriting_systems.
- Confluence_(abstract_rewriting) 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.
- Explicit_substitution subject Category:Rewriting_systems.
- Gröbner_basis subject Category:Rewriting_systems.
- Knuth–Bendix_completion_algorithm subject Category:Rewriting_systems.
- Markov_algorithm subject Category:Rewriting_systems.
- Newman's_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.
- Reduction_(abstract_rewriting) subject Category:Rewriting_systems.
- Reduction_strategy_(code_optimization) subject Category:Rewriting_systems.
- Reflexive_closure 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.
- 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.