弗拉德·鲁苏;安德烈·阿鲁索艾 在Maude中执行和验证高阶函数命令式程序。 (英语) Zbl 1372.68056号 J.日志。代数。方法计划。 93, 68-91 (2017).MSC公司:68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rusu}和\textit{A.Arusoaie},J.Log。代数。方法计划。93、68-91(2017年;Zbl 1372.68056) 全文: 内政部 哈尔
帕斯夸尔·朱利安·伊兰佐;莫雷诺,吉纳斯;佩纳巴德,詹姆 完全集成模糊逻辑语言的阈值语义框架。 (英语) Zbl 1372.68053号 J.日志。代数。方法计划。 93,42-67(2017).MSC公司:68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Julián-Iranzo}等人,J.Log。代数。方法计划。93、42-67(2017年;Zbl 1372.68053) 全文: 内政部
托马索·博洛涅西;文森佐·西安西亚 探索名义细胞自动机。 (英语) Zbl 1378.68115号 J.日志。代数。方法计划。 93, 23-41 (2017).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolognesi}和\textit{V.Ciancia},J.Log。代数。方法计划。93、23-41(2017年;Zbl 1378.68115) 全文: 内政部 arXiv公司
弗雷德里克·达尔奎斯特;大卫·皮姆 分配子结构逻辑的余代数完备性-via-非唯一性。 (英语) Zbl 1453.03020号 J.日志。代数。方法计划。 93, 1-22 (2017).MSC公司:03B47号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dahlqvist}和\textit{D.Pym},J.Log。代数。方法计划。93,1-22(2017;Zbl 1453.03020) 全文: 内政部 arXiv公司