About: Rewriting systems

Property	Value
rdf:type	skos:Concept
rdfs:label	Rewriting systems
skos:broader	dbpedia:Category:Theory_of_computation dbpedia:Category:Logic_in_computer_science
skos:prefLabel	Rewriting systems
is skos:broader of	dbpedia:Category:Graph_rewriting dbpedia:Category:Term-rewriting_programming_languages
is skos:subject of	dbpedia:Newman's_lemma dbpedia:Rewriting dbpedia:Explicit_substitution dbpedia:Church–Rosser_theorem dbpedia:Semi-Thue_system dbpedia:Critical_pair dbpedia:Confluence_(abstract_rewriting) dbpedia:Abstract_rewriting_system dbpedia:Orthogonality_(term_rewriting) dbpedia:Overlap_(term_rewriting) dbpedia:Knuth–Bendix_completion_algorithm dbpedia:Normal_form_(term_rewriting) dbpedia:Symmetric_closure dbpedia:Word_problem_(mathematics) dbpedia:Reflexive_closure dbpedia:Reduction_strategy