Jump to content

Category talk:Reduction systems

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

This should really be called rewriting systems, which is a much more common term these days than reduction system, as evidence by the books on the topic, and conferences. Pcap ping

Start a discussion about improving the Category:Reduction systems page

Start a discussion