拉杰夫·阿鲁尔;乔恩，帕沃;斯科特·温斯坦 阵列存取程序的算法分析。 （英语） Zbl 1351.68149号 ACM事务处理。计算。日志。 第13号第3条第27条第29页（2012年）.MSC公司：60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，ACM Trans。计算。日志。13，第3号，第27条，第29页（2012；Zbl 1351.68149） 全文： 内政部 链接
罗伯特·戈德布拉特;马塞尔·杰克逊 结构良好的程序等价性是不可判定的。 （英语） Zbl 1351.68073号 ACM事务处理。计算。日志。 第13号第3条第26条第8页（2012年）.MSC公司：68号30 03B70号 03天35分 2005年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt}和\textit{M.Jackson}，美国医学会翻译。计算。日志。13，第3号，第26条，第8页（2012；Zbl 1351.68073） 全文： 内政部 arXiv公司
亚历山德罗·比安科;法比奥·莫加维罗;阿尼埃洛·穆拉诺 分级计算树逻辑。 （英语） Zbl 1351.68153号 ACM事务处理。计算。日志。 第13号第3条第25条第53页（2012年）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bianco}等人，ACM Trans。计算。日志。13，第3号，第25条，53页（2012；Zbl 1351.68153） 全文： 内政部 链接
比约恩Kjos-Hanssen;弗兰克·斯蒂芬;杰森·特伊茨 通过随机序列的有效名称实现算术复杂性。 （英语） 兹比尔1352.03047 ACM事务处理。计算。日志。 第13号第3条第24条第18页（2012年）.MSC公司：03天32分 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kjos-Hanssen}等人，《美国医学杂志》。计算。日志。13，第3号，第24条，第18页（2012；Zbl 1352.03047） 全文： 内政部 arXiv公司
Kazuhisa Makino;大野弘太郎 霍恩理论内部和外部的演绎推理。 （英语） Zbl 1352.68239号 ACM事务处理。计算。日志。 第13号第3条第23条第16页（2012年）.MSC公司：68层35 2017年第68季度 65年第68季度 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Makino}和\textit{H.Ono}，ACM翻译。计算。日志。13，第3号，第23条，第16页（2012；Zbl 1352.68239） 全文： 内政部 链接
Miner More，萨拉;帕维尔·瑙莫夫 合作微积分和基于游戏的协议隐私推理。 （英语） 兹比尔1351.68168 ACM事务处理。计算。日志。 第13号第3条第22条第21页（2012年）.MSC公司：60年第68季度 03B70号 68个M12 91年12月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Miner More}和\textit{P.Naumov}，ACM Trans。计算。日志。13，第3号，第22条，第21页（2012；Zbl 1351.68168） 全文： 内政部
弗兰兹·巴德;西尔维奥·吉拉尔迪;卡斯滕·卢茨 LTL过度描述逻辑公理。 （英语） Zbl 1351.68260号 ACM事务处理。计算。日志。 第13号第3条第21条第32页（2012年）.MSC公司：68T27型 03B44号 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人，《美国医学杂志》。计算。日志。13，第3号，第21条，32页（2012；Zbl 1351.68260） 全文： 内政部 链接
Gilles Dowek;默多克·J·加贝。 允许标称逻辑：标称项和集合上的一阶逻辑。 （英语） 兹比尔1352.03042 ACM事务处理。计算。日志。 13，第3号，第20条，第36页（2012年）.MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{M.J.Gabbay}，ACM Trans。计算。日志。13，第3号，第20条，第36页（2012；Zbl 1352.03042） 全文： 内政部
伤口凝胶;马塞尔·马夸特;托马斯·施温蒂克 形式语言的动态复杂性。 （英语） Zbl 1351.68108号 ACM事务处理。计算。日志。 第13号第3条第19条第36页（2012年）.MSC公司：2015年第68季度 19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Gelade}等人，ACM Trans。计算。日志。13，第3号，第19条，36页（2012年；Zbl 1351.68108） 全文： 内政部 链接