Talk:International Conference on Rewriting Techniques and Applications

Term rewriting
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)