推荐文档列表

论TRS的交汇性

时间:2021-12-08 14:41:18 哲学宗教论文 我要投稿

论TRS的交汇性

1导论 一个字重写系统[TRS)是一个序对(∑,R),其中∑是一个字母表,9i为一集归约(重写)规则。

作 者: 郝兆宽   作者单位: 北京大学哲学系,北京 100871  刊 名: 自然辩证法研究  PKU CSSCI 英文刊名: STUDIES IN DIALECTICS OF NATURE  年,卷(期): 2000 16(z1)  分类号: B81  关键词: