英格·贝斯克;彼得·罗登堡;阿扬·塞文斯特 有限草地的结构。 (英语) Zbl 1319.68145号 J.日志。阿尔盖布。方法计划。 84,第2期,276-282(2015).MSC公司:68问题65 13M99型 PDF格式BibTeX公司 XML格式引用 \textit{I.Bethke}等人,J.Log。阿尔盖布。方法计划。84,No.2,276--282(2015;Zbl 1319.68145) 全文: 内政部 arXiv公司
马塞尔·杰克逊;蒂姆·斯托克斯 带有测试和可能非暂停程序代数的单体。 (英语) Zbl 1319.68085号 J.日志。阿尔盖布。方法计划。 84,第2期,259-275(2015).MSC公司:2005年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{T.Stokes},J.Log。阿尔盖布。方法计划。84,第2号,259--275(2015;Zbl 1319.68085) 全文: 内政部 arXiv公司
马克斯·柴科夫斯基;米尔科·特里巴斯通 马尔科夫过程代数中微分聚合的统一框架。 (英语) Zbl 1319.68151号 J.日志。阿尔盖布。方法计划。 84,第2期,238-258(2015).MSC公司:68问题85 60J10型 68问题55 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.柴可夫斯基}和\textit{M.Tribastone},J.洛格。阿尔盖布。方法计划。84,No.2,238--258(2015;Zbl 1319.68151) 全文: 内政部
傅明全;杰弗里·祖克 实域上部分函数的计算模型。 (英语) Zbl 1320.68079号 J.日志。阿尔盖布。方法计划。 84,第2期,218-237(2015).MSC公司:2005年第68季度 03D75号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{M.Q.Fu}和textit{J.Zucker},J.Log。阿尔盖布。方法计划。84,No.2,218--237(2015;Zbl 1320.68079) 全文: 内政部
直纪西田;德国维达尔 计算有限SLD树的框架。 (英语) Zbl 1319.68055号 J.日志。阿尔盖布。方法计划。 第84页,第2期,197-217页(2015年).MSC公司:68N17号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}和\textit{G.Vidal},J.Log。阿尔盖布。方法计划。84,第2号,197--217(2015;Zbl 1319.68055) 全文: 内政部