Talk:Abstract rewriting system

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Computer science  
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.
 ???  This article has not yet received a rating on the project's quality scale.
 ???  This article has not yet received a rating on the project's importance scale.
 
WikiProject Mathematics (Rated Start-class, Low-importance)
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:
Start Class
Low Importance
 Field: Foundations, logic, and set theory
edit·history·watch·refresh Stock post message.svg To-do list for Abstract rewriting system:

Here are some tasks awaiting attention:
    • 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)