安德烈亚斯·布拉斯；尤里·古里维奇 抽象状态机捕获并行算法。 （英语） Zbl 1365.68253号 ACM事务处理。计算。日志。 4，第4期，578-651（2003）; 更正和延期同上，第9号，第3条，第19条，第32页（2008年）。MSC公司：2005年第68季度 2010年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}和\textit{Y.Gurevich}，ACM翻译。计算。日志。4，第4号，578--651（2003；Zbl 1365.68253） 全文： 内政部
彼得·布内曼；范文飞；斯科特·温斯坦 路径和类型约束之间的交互。 （英语） Zbl 1365.68197号 ACM事务处理。计算。日志。 4，第4期，530-577（2003）.MSC公司：第68页，共15页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Buneman}等人，《美国医学杂志》。计算。日志。4，第4号，530--577（2003；Zbl 1365.68197） 全文： 内政部 链接
阿尔贝托·莫米利亚诺；弗兰克·芬宁 高阶模式补码和严格的\（\lambda\）演算。 （英语） Zbl 1365.68155号 ACM事务处理。计算。日志。 4，第4期，493-529（2003）.MSC公司：68甲18 03B40型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Momigliano}和\textit{F.Pfenning}，ACM翻译。计算。日志。4，第4号，493--529（2003；Zbl 1365.68155） 全文： 内政部 arXiv公司
杰里米·布莱恩斯；霍华德·鲍曼；约翰·德里克 模型检验随机自动机。 （英语） Zbl 1365.68316号 ACM事务处理。计算。日志。 4，第4期，452-492（2003）.MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bryans}等人，ACM Trans。计算。日志。4，第4号，452--492（2003；Zbl 1365.68316） 全文： 内政部
列昂尼德·利布金 一阶可定义约束的变量独立性。 （英语） Zbl 1365.03024号 ACM事务处理。计算。日志。 第4期，第4期，第431-451页（2003年）.MSC公司：03B70号 03B25号 03C07号机组 03C10号机组 第68页，共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Libkin}，ACM翻译。计算。日志。4，第4号，431--451（2003；Zbl 1365.03024） 全文： 内政部
沈义东；你，嘉慧；袁丽燕；沈，Samuel S.P。；杨强 描述一般逻辑程序终止的一种动态方法。 （英语） Zbl 1365.68152号 ACM事务处理。计算。日志。 4，第4期，417-430（2003）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.-D.Shen}等人，ACM Trans。计算。日志。第4号，第4417-430页（2003年；兹bl 1365.68152） 全文： 内政部 arXiv公司