西蒙·多尔蒂;萨迪·达尔瓦迪;布里杰什·多戈尔;海克·卫尔海姆 统一操作弱内存验证:公理方法。 (英语) Zbl 1508.68216号 ACM事务处理。计算。日志。 23,第4条,第27条,第39页(2022年).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人,《美国医学杂志》。计算。日志。23,第4号,第27条,第39页(2022年;Zbl 1508.68216) 全文: 内政部
大卫·桑吉奥吉 方程、收缩和独特的解决方案。 (英语) Zbl 1367.68212号 ACM事务处理。计算。日志。 18,第1号,第4条,第30页(2017年).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi},ACM翻译。计算。日志。18,第1号,第4条,30页(2017年;Zbl 1367.68212) 全文: 内政部 哈尔
伊莎贝拉·马斯特罗埃尼;达米亚诺·扎纳尔迪尼 抽象程序切片:一种基于抽象解释的程序切片方法。 (英语) Zbl 1367.68070号 ACM事务处理。计算。日志。 18,第1号,第7条,58 p.(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Mastroeni}和\textit{D.Zanardini},ACM Trans。计算。日志。18,第1号,第7条,58页(2017年;Zbl 1367.68070) 全文: 内政部 arXiv公司
Hitoshi Furusawa;乔治·斯特鲁斯 缓和多重关系。 (英语) Zbl 1407.03080号 ACM事务处理。计算。日志。 17,第4号,第28条,第34页(2016年).MSC公司:03G25号 03E20型 07年6月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}和\textit{G.Struth},ACM Trans。计算。日志。17,第4号,第28条,第34页(2016;Zbl 1407.03080) 全文: 内政部 arXiv公司
布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯 卷积作为一个统一的概念:在分离逻辑、区间计算和并发中的应用。 (英语) Zbl 1367.68210号 ACM事务处理。计算。日志。 17,第3号,第15条,第25页(2016年).MSC公司:68问题85 03B70号 07年6月 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,ACM Trans。计算。日志。17,第3号,第15条,第25页(2016;Zbl 1367.68210) 全文: 内政部
康斯坦蒂诺斯·马穆拉斯 确定性和非确定性一元递归方案的霍尔逻辑。 (英语) Zbl 1367.68069号 ACM事务处理。计算。日志。 17号第2条第13条第30页(2016年).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Mamouras},ACM翻译。计算。日志。17,第2号,第13条,30页(2016;Zbl 1367.68069) 全文: 内政部
格哈德·谢尔霍恩;约翰·德里克;海克·卫尔海姆 并发数据结构线性化能力的完善证明技术。 (英语) Zbl 1354.68066号 ACM事务处理。计算。日志。 第15号第4条第31条第37页(2014年).MSC公司:68第05页 60年第68季度 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn}等人,《美国医学杂志》。计算。日志。第15条第4款第31条第37页(2014年;Zbl 1354.68066) 全文: 内政部 链接