布雷特·麦克莱恩 具有域的自由Kleene代数。 (英语) Zbl 1484.08014号 J.日志。阿尔盖布。方法计划。 117,文章ID 100606,14 p.(2020).MSC公司:08年2月20日 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{B.McLean},J.Log。阿尔盖布。方法计划。117,文章ID 100606,14 p.(2020;Zbl 1484.08014) 全文: 内政部 arXiv公司
费尔南多·阿罗约;维克托·米特拉纳;佩恩,安德烈;佩恩,米哈拉;桑切斯·库索(Sanchez Couso)、何塞·拉蒙(Jose Ramon) 关于群上扩展有限自动机的群记忆复杂性。 (英语) 兹比尔1462.68099 J.日志。阿尔盖布。方法计划。 117,文章ID 100605,8 p.(2020).MSC公司:65年第68季度 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{F.Arroyo}等人,J.Log。阿尔盖布。方法计划。117,文章ID 100605,8 p.(2020;Zbl 1462.68099) 全文: 内政部
克莱默,R.L。;马德克斯,R.D。 Sugihara、Belnap、Meyer和Church的关系代数。 (英语) Zbl 1484.03133号 J.日志。阿尔盖布。方法计划。 117,文章ID 100604,28 p.(2020).MSC公司:03G15年 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Kramer}和\textit{R.D.Maddux},J.Log。阿尔盖布。方法计划。117,文章ID 100604,28 p.(2020;Zbl 1484.03133) 全文: 内政部 arXiv公司
鲁道夫·伯格哈默;Hitoshi Furusawa;沃尔特·古特曼;彼得·霍夫纳 路径的关系特征。 (英语) Zbl 1462.05198号 J.日志。阿尔盖布。方法计划。 117,文章ID 100590,19 p.(2020).MSC公司:05C38号 03B35型 03G15年 05C85号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人,J.Log。阿尔盖布。方法计划。117,文章ID 100590,19 p.(2020;Zbl 1462.05198) 全文: 内政部 arXiv公司
沃尔夫拉姆·卡尔 教学工具中的计算关系代数证明CalcCheck(计算检查). (英语) Zbl 1462.68217号 J.日志。阿尔盖布。方法计划。 117,文章ID 100581,39页(2020).MSC公司:68伏15 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl},J.Log。阿尔盖布。方法计划。117,文章ID 100581,39 p.(2020;Zbl 1462.68217) 全文: 内政部