Jump to content

Talk:International Conference on Rewriting Techniques and Applications

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


The phrase 'term rewriting' gets 140,000 hits on Google Scholar. This appears to be an established topic in computer science. It is related to the lambda calculus. See our article on rewriting. EdJohnston (talk) 02:36, 19 October 2008 (UTC)[reply]