路易吉·桑托卡纳莱 嵌入到关系格中是无法确定的。 (英语) Zbl 1394.68119号 J.日志。阿尔盖布。方法计划。 97, 131-148 (2018).MSC公司:第68页,共15页 03天35分 05年6月 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale},J.Log。阿尔盖布。方法计划。97、131--148(2018年;Zbl 1394.68119) 全文: 内政部 哈尔
赫塞尔,杰拉;吉尔根·吉斯尔;弗洛里安·弗洛恩;托马斯·斯特罗德 符号执行的位向量运算程序的终止和复杂性分析。 (英语) Zbl 1395.68093号 J.日志。阿尔盖布。方法计划。 97, 105-130 (2018).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hensel}等人,J.Log。阿尔盖布。方法计划。97、105——130(2018;Zbl 1395.68093) 全文: 内政部
大卫·英莎;乔塞普·席尔瓦 算法调试概述。 (英语) Zbl 1395.68094号 J.日志。阿尔盖布。方法计划。 97, 85-104 (2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Insa}和\textit{J.Silva},J.Log。阿尔盖布。方法计划。97、85——104(2018;Zbl 1395.68094) 全文: 内政部 链接
阿尔切斯特·斯卡拉斯;吉田、Nobuko 多方会话类型,超越二元性。 (英语) Zbl 1395.68199号 J.日志。阿尔盖布。方法计划。 97, 55-84 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Scalas}和\textit{N.Yoshida},J.Log。阿尔盖布。方法计划。97、55——84(2018;Zbl 1395.68199) 全文: 内政部
阿利亚克巴尔·萨菲连;汤姆·迈鲍姆;奇诺维·迪斯金 基于基数的特征模型的理论框架:语义和计算方面。 (英语) Zbl 1395.68095号 J.日志。阿尔盖布。方法计划。 97, 30-54 (2018).MSC公司:68号30 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Safilian}等人,J.Log。阿尔盖布。方法计划。97、30--54(2018;Zbl 1395.68095) 全文: 内政部
纳菲·迪亚洛;加尔达洛,Wided;朱尔斯·德沙奈斯;阿里·米莉 融合:集成终止和中止自由。 (英语) Zbl 1395.68091号 J.日志。阿尔盖布。方法计划。 97, 1-29 (2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Diallo}等人,J.Log。阿尔盖布。方法计划。97,1-29(2018年;兹比尔1395.68091) 全文: 内政部