Talk:Abstract rewriting system

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Computer science (Rated C-class, Low-importance)
WikiProject icon This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
C-Class article C  This article has been rated as C-Class on the project's quality scale.
 Low  This article has been rated as Low-importance on the project's importance scale.
 
WikiProject Mathematics (Rated C-class, Low-priority)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
C Class
Low Priority
 Field: Foundations, logic, and set theory
edit·history·watch·refresh Stock post message.svg To-do list for Abstract rewriting system:

There are no active tasks for this page
    • discuss rewriting modulo an equivalence relation

    Merge from Rewriting[edit]

    Propose a merge of the abstract rewriting system subsection from rewriting into this article. That section, and this article, appear to be very nearly cut-n-paste's of one another, but also seem to be diverging in terms of quality of content, number of references, etc. Maintaining two copies of the same treatment just seems like a waste of resources (and makes the reading of thee two articles tedious, due to the repetition). linas (talk) 15:29, 21 February 2011 (UTC)