Jan A.Bergstra。;约翰·V·塔克。 有理数的部分算术数据类型及其等式规范。 (英语) Zbl 07576527号 J.日志。阿尔盖布。方法计划。 128,文章ID 100797,16 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},J.Log。阿尔盖布。方法计划。128,文章ID 100797,16 p.(2022;Zbl 07576527) 全文: 内政部
马格尼·哈夫雷恩;雅科雅尔维 多路数据流约束系统的语义。 (英语) Zbl 1518.68052号 J.日志。阿尔盖布。方法计划。 121,文章ID 100634,26 p.(2021).MSC公司:68号30 03B70号 03G30型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Haveraaen}和\textit{J.Järvi},J.Log。阿尔盖布。方法计划。121,文章ID 100634,26 p.(2021;Zbl 1518.68052) 全文: 内政部
马格尼·哈夫雷恩;马库斯·罗根巴赫 用句法理论函子指定。 (英语) Zbl 1433.68221号 J.日志。阿尔盖布。方法计划。 113,文章ID 100543,第23页(2020).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Haveraaen}和\textit{M.Roggenbach},J.Log。阿尔盖布。方法计划。113,文章ID 100543,23 p.(2020;Zbl 1433.68221) 全文: 内政部