Talk:International Conference on Rewriting Techniques and Applications
Appearance
![]() | This page was proposed for deletion by an editor in the past. |
![]() | Computing Stub‑class ![]() | ||||||||||||
|
![]() | Academic Journals Unassessed | |||||||||
|
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)