佐哈尔·曼纳;让·武伊勒明 计算理论的不动点方法。 (英语) Zbl 0279.68021号 自动机、语言、编程、程序。交响乐。仪表回收。Informatique Automatique(IRIA),罗基恩科特1972年,273-291(1973)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1文件 理学硕士: 68号01 软件理论的一般主题 03D99号 可计算性和递归理论 PDF格式BibTeX公司 XML格式