安德烈亚斯·布拉斯;尤里·古里维奇 算法行为理论中的持久查询。 (英语) Zbl 1351.68095号 ACM事务处理。计算。日志。 第12号第2条第16条第43页(2011年).MSC公司:2005年第68季度 68瓦01 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}和\textit{Y.Gurevich},ACM翻译。计算。日志。12,第2号,第16条,43页(2011年;Zbl 1351.68095) 全文: 内政部
尤里·古里维奇;伊泰州奈曼 信息论的逻辑,命题格。 (英语) Zbl 1328.03032号 ACM事务处理。计算。日志。 第12号第2条第9条第28页(2011年).MSC公司:03B70号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich}和\textit{I.Neeman},ACM Trans。计算。日志。12,第2号,第9条,第28页(2011年;Zbl 1328.03032) 全文: 内政部
安德烈亚斯·布拉斯;尤里·古里维奇 抽象状态机捕获并行算法:校正和扩展。 (英语) 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 03年10月 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}和\textit{Y.Gurevich},ACM翻译。计算。日志。9,第3号,第18条,第26页(2008年;Zbl 1367.68061) 全文: 内政部
安德烈亚斯·布拉斯;尤里·古里维奇 普通交互式小步算法。三、。 (英语) Zbl 1367.68096号 ACM事务处理。计算。日志。 8,第3号,第16条,51页(2007年).MSC公司:2005年第68季度 03B70号 2010年第68季度 68瓦01 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}和\textit{Y.Gurevich},ACM翻译。计算。日志。8,第3号,第16条,51页(2007年;Zbl 1367.68096) 全文: 内政部
安德烈亚斯·布拉斯;尤里·古里维奇 普通交互式小步算法。二、。 (英语) Zbl 1367.68095号 ACM事务处理。计算。日志。 8,第3号,第15条,41页(2007年).MSC公司:2005年第68季度 03B70号 2010年第68季度 68瓦01 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}和\textit{Y.Gurevich},ACM翻译。计算。日志。8,第3号,第15条,41页(2007年;Zbl 1367.68095) 全文: 内政部
安德烈亚斯·布拉斯;尤里·古里维奇 普通交互式小步算法。一、。 (英语) Zbl 1367.68094号 ACM事务处理。计算。日志。 7,第2期,363-419(2006).MSC公司:2005年第68季度 03B70号 2010年第68季度 68瓦01 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}和\textit{Y.Gurevich},ACM翻译。计算。日志。第7号,第363-419号(2006年;兹bl 1367.68094) 全文: 内政部
安德烈亚斯·布拉斯;尤里·古里维奇 抽象状态机捕获并行算法。 (英语) 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.68315号 ACM事务处理。计算。日志。 2,第1期,第1-11页(2001年).MSC公司:60年第68季度 03B70号 68纳米30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}和\textit{Y.Gurevich},ACM翻译。计算。日志。2,编号1,1-11(2001年;兹bl 1365.68315) 全文: 内政部
尤里·古里维奇 顺序抽象状态机捕获顺序算法。 (英语) Zbl 1365.68258号 ACM事务处理。计算。日志。 第1期,第77-111页(2000年).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich},ACM事务。计算。日志。1,第1号,77--111(2000;Zbl 1365.68258) 全文: 内政部