Modular Properties of Composable Term Rewriting Systems

机译：可组合术语重写系统的可分解终止

机译：R一致性和左线性术语重写系统的模块终止

机译：R一致性和左线性术语重写系统的模块终止

机译：关于重写系统的可组合属性

机译：术语重写系统和Church-Rosser财产

机译：碳纳米管填充碳纳米纤维毡与聚合物复合材料组成的层间体系的电学性质和电磁干扰屏蔽效能

机译：可组合术语重写系统的模块化特性

机译：提高术语重写系统模块化特性的实用性

机译：模块化地板系统，最好由具有抗真菌特性和防滑性的塑料制成，用作工作平台它由相互连接以形成模块化地板系统的三个元素组成。

机译：有序开发操作中无形财产的检索和比较系统，在接收者拥有的无形财产信息中，例如作为接收者的技术，经验领域以及在一个或多个可接收状态中确定接收到的，可接收的术语，可以是在一定范围内，在一定范围内电子业务市场运营商，例如接收方的额定信息，可以注册/更改/取消，以请求需要技术的订单开发操作

机译：具有通过模式匹配的术语重写来执行程序翻译的程序语言处理系统