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

术语重写的概念是在六十年代后期构想出来的 是从Knuth和Benziran的一篇开创性论文开始的。 它后来 演变成一个强大的工具， 计算机科学中的语言和逻辑。 除了 广泛的理论成果，它已被应用于象征性的 代数计算，自动演绎，程序设计 语言和编译器优化，终止和 程序、语法、lambda和组合的正确性 结石，并已在开始的催化剂， 约束求解和统一理论。 近年来 研究也已经开始使用重写作为模型 以及一个可行的解决方案， 函数式和逻辑式编程范例。 由于该主题的普及， 研究生人数增加， 术语重写 这笔补助金用于支付参与费用 大约十五个美国计算机科学研究生。

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.