Jan A.Bergstra。;约翰·V·塔克。 求有理数算术的等式。 (英语) Zbl 07713583号 ACM事务处理。计算。日志。 24,第3号,第22号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},ACM Trans。计算。日志。24,第3号,第22号论文,28页(2023;Zbl 07713583) 全文: 内政部
巴哈州阿默里;迈克尔·格里宁格 可简化理论和模型合并。 (英语) Zbl 07650605号 ACM事务处理。计算。日志。 24,第1号,第9号论文,24页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Aameri}和\textit{M.Grüninger},ACM Trans。计算。日志。24,第1号,第9号论文,24页(2023;Zbl 07650605) 全文: 内政部
弗洛里安·拉贝 松驰理论形态。 (英语) Zbl 1367.03061号 ACM事务处理。计算。日志。 17,第1号,第5条,36页(2015年).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe},ACM翻译。计算。日志。17,第1号,第5条,36页(2015;Zbl 1367.03061) 全文: 内政部