弗拉德·鲁苏;安德烈·阿鲁索艾 在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格式引用 \文本{P.Julián-Iranzo}等人,J.Log。阿尔盖布。方法计划。93,42-67(2017年;兹比尔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公司