论TRS的交汇性

论TRS的交汇性

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

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

【论TRS的交汇性】相关文章：

他性话语的交汇--论女性主义与后殖民主义的话语融合04-26

论性修养04-30

论外部性04-28

无俗念 论性,无俗念 论性尹志平,无俗念 论性的意思,无俗念 论性赏析 -诗词大全03-13

论莱布尼茨认识论的调和性04-26

论矛盾的层次性04-30

技术间性论04-29

论真理的价值性04-29

论质的层次性04-27

论偶然性与必然性04-27