String rewriting system: Difference between revisions

Content deleted Content added
String rewriting system moved to String rewriting
 
m Robot: Fixing double redirect
Line 1:
#REDIRECT [[StringSemi-Thue rewritingsystem]]