卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克 获得并行组合的有限公理化是否需要两个二进制运算符? (英语) 兹比尔1508.68239 ACM事务处理。计算。日志。 23,第4条,第22条,第56页(2022年).MSC公司:68问题85 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,ACM Trans。计算。日志。23,第4号,第22条,56页(2022年;Zbl 1508.68239) 全文: 内政部 arXiv公司 链接
斯乔德·克兰恩;马西耶·加兹达;威格·威瑟林克;Tim A.C.Willemse。 定点逻辑中的抽象。 (英语) Zbl 1367.68187号 ACM事务处理。计算。日志。 16,第4号,第29条,第39页(2015年).MSC公司:第68季度第60季度 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cranen}等人,ACM Trans。计算。日志。16,第4号,第29条,39页(2015;Zbl 1367.68187) 全文: 内政部
Jean-Pierre Jouannaud;阿尔伯特·鲁比奥 正常高阶终端。 (英语) Zbl 1354.68140号 ACM事务处理。计算。日志。 16,第2号,第13条,38页(2015年).MSC公司:2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{A.Rubio},ACM翻译。计算。日志。16,第2号,第13条,38页(2015;Zbl 1354.68140) 全文: 内政部 链接