内维尔·格雷奇;伯恩德·菲舍尔;朱利安·拉特克 抢占式类型检查。 (英语) Zbl 1400.68056号 J.日志。代数。方法计划。 101, 151-181 (2018).MSC公司:68号30 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Grech}等人,J.Log。代数。方法计划。101151-181(2018;Zbl 1400.68056) 全文: 内政部 链接
沃尔特·古特曼 用Stone关系代数验证最小生成树算法。 (英语) 兹比尔1401.68247 J.日志。代数。方法计划。 101, 132-150 (2018).MSC公司:68兰特 03B35型 03G15年 05C22号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。代数。方法计划。101132-150(2018;Zbl 1401.68247) 全文: 内政部
玛丽亚·马克西莫娃;霍尔格·吉斯;克里斯蒂安·克劳斯 概率定时图变换系统。 (英语) Zbl 1400.68058号 J.日志。代数。方法计划。 101, 110-131 (2018).MSC公司:68号30 2012年第68季度 65年第68季度 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Maximova}等人,J.Log。代数。方法计划。101、110-131(2018;Zbl 1400.68058) 全文: 内政部 链接
阿隆索-吉梅内斯,何塞A。;Aranda-Corral,冈萨罗A。;博雷戈·迪亚斯(Borrego-Díaz,Joaquín);Fernández-Lebrón,M.Magdalena;JoséHidalgo-Doblado,M。 用于基于知识的系统推理的逻辑代数工具。 (英语) Zbl 1400.68210号 J.日志。代数。方法计划。 101, 88-109 (2018).MSC公司:68层35 第68季度55 68T27型 68立方英尺 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Alonso-Jiménez}等人,J.Log。代数。方法计划。101、88-109(2018;Zbl 1400.68210) 全文: 内政部 arXiv公司
洛维,加文 无锁并发二项式堆。 (英语) Zbl 1400.68063号 J.日志。代数。方法计划。 101, 44-87 (2018).MSC公司:68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Lowe},J.Log。代数。方法计划。101,44-87(2018年;兹比尔1400.68063) 全文: 内政部 链接
多雷尔·卢卡努(编辑) 编辑前言。 (英语) Zbl 1400.68028号 J.日志。代数。方法计划。 101, 42-43 (2018).MSC公司:68-06 2012年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}(编辑),J.Log。代数。方法计划。101、42-43(2018;Zbl 1400.68028) 全文: 内政部
拉斐尔·卡巴列罗;恩里克·马丁·马汀;阿德里安·里斯科;萨尔瓦多塔马利特 并发Erlang程序的声明性调试。 (英语) Zbl 1400.68052号 J.日志。代数。方法计划。 101, 22-41 (2018).MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人,J.Log。代数。方法计划。101、22-41(2018;Zbl 1400.68052) 全文: 内政部
叶卡捷琳娜·科门丹茨卡亚;权力,约翰 逻辑编程:松懈和饱和。 (英语) Zbl 1400.68049号 J.日志。代数。方法计划。 101, 1-21 (2018).MSC公司:68N17号 18立方厘米 18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit{E.Komendantskaya}和\textit{J.Power},J.Log。代数。方法计划。101、1--21(2018;Zbl 1400.68049) 全文: 内政部 arXiv公司