Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/RewritingSystems> . }
Showing items 1 to 23 of
23
with 100 items per page.
- Abstract_rewriting_system type RewritingSystems.
- Buchberger's_algorithm type RewritingSystems.
- Church%E2%80%93Rosser_theorem type RewritingSystems.
- Confluence_(abstract_rewriting) type RewritingSystems.
- Convergence_(logic) type RewritingSystems.
- Critical_pair_(logic) type RewritingSystems.
- Director_string type RewritingSystems.
- Divergence_(computer_science) type RewritingSystems.
- Explicit_substitution type RewritingSystems.
- Gr%C3%B6bner_basis type RewritingSystems.
- Knuth%E2%80%93Bendix_completion_algorithm type RewritingSystems.
- Markov_algorithm type RewritingSystems.
- Newman's_lemma type RewritingSystems.
- Normal_form_(abstract_rewriting) type RewritingSystems.
- Orthogonality_(term_rewriting) type RewritingSystems.
- Overlap_(term_rewriting) type RewritingSystems.
- Reduction_(abstract_rewriting) type RewritingSystems.
- Reduction_strategy type RewritingSystems.
- Reflexive_closure type RewritingSystems.
- Semi-Thue_system type RewritingSystems.
- Symmetric_closure type RewritingSystems.
- Term_(logic) type RewritingSystems.
- Word_problem_(mathematics) type RewritingSystems.