摘要：抽象计算模型与具体计算模型之间的关系探究
作者：J.V. Tucker (University of Wales, Swansea) and J.I. Zucker (McMaster University, Hamilton, Canada)
论文ID：cs/0108007
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中