阿列克桑达尔·纳内夫斯基;弗兰克·芬宁;碧姬·品特卡 语境模态类型理论。 （英语） 兹比尔1367.03060 ACM事务处理。计算。日志。 第9号第3条第23条第49页（2008年）.MSC公司：03B70号 03B45号 68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Nanevski}等人，《美国医学杂志》。计算。日志。9，第3号，第23条，49页（2008年；Zbl 1367.03060） 全文： 内政部 链接
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼 描述逻辑约束下的连接查询包含和应答。 （英语） Zbl 1367.68084号 ACM事务处理。计算。日志。 第9号第3条第22条第31页（2008年）.MSC公司：第68页，共15页 65年第68季度 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛D.Calvanese｝等人，ACM Trans。计算。日志。9，第3号，第22条，第31页（2008年；Zbl 1367.68084） 全文： 内政部
西蒙·波娃;佛朗哥·蒙塔格纳 哈耶克基本逻辑中的证明搜索。 （英语） Zbl 1367.03024号 ACM事务处理。计算。日志。 第9号第3条第21条第26页（2008年）.MSC公司：03B35型 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bova}和\textit{F.Montagna}，ACM翻译。计算。日志。9，第3号，第21条，第26页（2008年；Zbl 1367.03024） 全文： 内政部 arXiv公司
哈娜·乔克勒;约瑟夫·霍尔珀（Joseph Y.Halpern）。;奥尔纳库普弗曼 是什么导致系统满足规范？ （英语） Zbl 1367.68185号 ACM事务处理。计算。日志。 第9号第3条第20条第26页（2008年）; 勘误表同上，第11号，第4条，第29条，第2页（2010年）。MSC公司：第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛H.Chockler｝等人，ACM Trans。计算。日志。9，第3号，第20条，第26页（2008年；Zbl 1367.68185） 全文： 内政部 arXiv公司
安德烈亚斯·布拉斯;尤里·古里维奇 抽象状态机捕获并行算法：校正和扩展。 （英语） Zbl 1367.68097号 ACM事务处理。计算。日志。 第9号第3条第19条第32页（2008年）.MSC公司：2005年第68季度 2010年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}和\textit{Y.Gurevich}，ACM翻译。计算。日志。9，第3号，第19条，第32页（2008年；Zbl 1367.68097） 全文： 内政部
安德烈亚斯·布拉斯;尤里·古里维奇 程序终止和部分订购。 （英语） Zbl 1367.68061号 ACM事务处理。计算。日志。 第9号第3条第18条第26页（2008年）.MSC公司：68号30 03E10年 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}和\textit{Y.Gurevich}，ACM翻译。计算。日志。9，第3号，第18条，第26页（2008年；Zbl 1367.68061） 全文： 内政部
萨米尔·根奈姆;安迪·金 用动态调度推断逻辑程序的非暂停条件。 （英语） Zbl 1367.68033号 ACM事务处理。计算。日志。 第9号第3条第17条第43页（2008年）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Genaim}和\textit{A.King}，ACM翻译。计算。日志。9，第3号，第17条，43页（2008年；Zbl 1367.68033） 全文： 内政部 链接
卡尔·克里;萨卡，苏斯米特 Twelf金属学框架中的基础认证代码。 （英语） Zbl 1367.68063号 ACM事务处理。计算。日志。 第9号第3条第16条第26页（2008年）.MSC公司：68号30 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{K.Crary}和\textit{S.Sarkar}，ACM Trans。计算。日志。9，第3号，第16条，第26页（2008年；兹bl 1367.68063） 全文： 内政部
阿戈斯蒂诺·多维尔;卡拉广场;吉安弗兰科·罗西 列表、多集、紧列表和集的约束求解的统一方法。 （英语） Zbl 1367.68079号 ACM事务处理。计算。日志。 第9号第3条第15条第30页（2008年）.MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Dovier}等人，ACM翻译。计算。日志。9，第3号，第15条，30页（2008年；Zbl 1367.68079） 全文： 内政部 arXiv公司