期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

论TRS的交汇性

On Confluence of TRS
下载PDF
导出
摘要 　　1导论 　　一个字重写系统[TRS)是一个序对(∑，R)，其中∑是一个字母表，9i为一集归约(重写)规则。……
作者 郝兆宽
机构地区 北京大学哲学系
出处 《自然辩证法研究》 CSSCI 北大核心 2000年第z1期10-13,共4页 Studies in Dialectics of Nature
分类号 B81 [哲学宗教—逻辑学]
  • 相关文献

参考文献3

  • 1[1]Barendregt，H P．The Lambda Calculus，its Syntax and Semantics,2nd editoin[M]．North Holland．1984．
  • 2[2]Klop，J．W．Term Rewriting Systems[A]．in Handbook of Logic in Computer Science，volume2,edit by S,Abramsky，D.M．Gabhay,T．S．E．Maibaum,Oxford 1992．2-l17．
  • 3[3]Hankin．Chris Lambda Calculi[M]．aguide for computer Scientis,Oxfor,1994．
自然辩证法研究
2000年 第z1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部