马克·范登·布兰德;皮埃尔·埃蒂安·莫罗;尤尔根文居 免费为术语重写引擎提供环境！ （英语） Zbl 1038.68563号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。注释计算。科学。2706, 424-435 (2003). 摘要：只有在术语重写引擎的实际实现存在的情况下，才能应用术语重写。新的重写引擎的设计和实现要么是为了试验新的（理论上的）结果，要么是为了能够处理新的应用领域。本文介绍了元环境：一个快速实现基于术语重写的形式化的语法和语义的环境。我们不仅提供了基本的构建块，还提供了完整的交互式编程环境，这些环境只需要通过新形式主义的细节进行实例化。关于整个系列，请参见[Zbl 1029.00060号]. MSC公司： 2012年第68季度 语法和重写系统 软件：ATERM公司;西洋陆军棋;ELAN公司;JITty公司 PDF格式BibTeX公司 XML格式引用 \textit{M.van den Brand}等人，Lect。注释计算。科学。2706424--435（2003年；Zbl 1038.68563） 全文： 链接