RTA-93 - Fifth International Conference on Rewriting Techniques and Applications; Montreal, Canada; June 16-18, 1993

术语重写的概念是在60年代末从Knuth和Bendix的一篇开创性论文开始构思的。它后来发展成为计算机科学中连接编程语言和逻辑的强大工具。除了广泛的理论成果外，它还被应用于符号和代数计算、自动演绎、程序设计语言和编译器优化、程序终止和正确性、语法、lambda和组合演算等领域，并成为约束求解和统一理论诞生的催化剂。近年来，人们也开始研究使用重写作为并发模型，以及结合函数和逻辑编程范例的可行解决方案。由于这门学科的受欢迎程度，研究学期重写相关领域的研究生人数有所增加。这项拨款是为了支付大约15名美国计算机科学研究生的参与费用。

The notion of term rewriting was conceived in the late sixties starting from a seminal paper by Knuth and Bendix. It later evolved into a powerful tool bridging between programming languages and logic in computer science. In addition to extensive theoretical results, it has been applied to symbolic and algebraic computation, automated deduction, programming languages and compiler optimization, termination and correctness of programs, grammars, lambda and combinatory calculi, and has been the catalyst in the inception of constraint solving and unification theory. In recent years studies have also been initiated in using rewriting as a model for concurrency, as well as a viable solution to combining functional and logic programming paradigms. Due to the popularity of the subject, there has been an increase in graduate students studying in areas related to term rewriting. This grant is to defray cost of participation for about fifteen U.S. computer science graduate students.