Rose,Kristoffer H。;罗尔·布鲁;弗雷德里克·朗 关于用名称显式替换。 (英语) 兹比尔1269.68044 J.汽车。推理 49,第2期,275-300(2012)。MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.H.Rose}等人,J.Autom。推理49,No.2,275--300(2012;Zbl 1269.68044) 全文: 内政部
安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔 推理计算的两级逻辑方法。 (英语) Zbl 1290.68088号 J.汽车。推理 49,第2期,241-273(2012)。MSC公司:第68季度第60季度 03B40型 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Gacek}等人,J.Autom。推理49,No.2,241--273(2012;Zbl 1290.68088) 全文: 内政部 arXiv公司
詹姆斯·切尼;迈克尔·诺里什;雷内·维斯特加德 形式化充分性:高阶抽象语法的案例研究。 (英语) Zbl 1269.68042号 J.汽车。推理 49,第2期,209-239(2012)。MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Cheney}等人,J.Autom。推理49,第2209-239号(2012年;Zbl 1269.68042) 全文: 内政部
兰迪·波拉克;佐藤真彦;威尔默·里奇奥蒂 绑定的规范本地命名表示。 (英语) Zbl 1270.68073号 J.汽车。推理 49,第2期,185-207(2012)。MSC公司:68甲18 03B40型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Pollack}等人,J.Autom。推理49,No.2,185--207(2012;Zbl 1270.68073) 全文: 内政部
菲利波·邦奇;巴斯米,玛丽亚·格拉齐亚;Ciancia,文森佐;法比奥·加杜奇 显式融合演算的预处理环境。 (英语) Zbl 1290.68089号 J.汽车。推理 49,第2期,161-183(2012)。MSC公司:68问题65 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,J.Autom。推理49,No.2,161--183(2012;Zbl 1290.68089) 全文: 内政部
尼克·本顿;Chung Kil呼;安德鲁·肯尼迪。;康纳·麦克布莱德 Coq中的强类型术语表示。 (英语) Zbl 1269.68041号 J.汽车。推理 49,第2期,141-159(2012)。MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人,J.Autom。推理49,No.2,141--159(2012;Zbl 1269.68041) 全文: 内政部
马修·拉金。;安德鲁·皮特斯(Andrew M.Pitts)。 编码没有新名称的抽象语法。 (英语) 兹比尔1269.68043 J.汽车。推理 49,第2期,115-140(2012)。MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Lakin}和\textit{A.M.Pitts},J.Autom。推理49,No.2,115--140(2012;Zbl 1269.68043) 全文: 内政部