安德烈亚斯·布拉斯;尤里·古里维奇 算法行为理论中的持久查询。 (英语) 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 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.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,第2号,363--419(2006;Zbl 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年;兹bl 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;Zbl 1365.68315) 全文: 内政部