计算机科学 ›› 2000, Vol. 27 ›› Issue (8): 5-7.
• • 上一篇 下一篇
冯速
出版日期:
发布日期:
Online:
Published:
关键词: 项重写系统 等价性 归纳证明 程序设计
冯速. 项重写系统等价性的归纳证明[J]. 计算机科学, 2000, 27(8): 5-7. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2000/V27/I8/5
Cited
首页