Jan Friso,格鲁特;大卫·詹森(David N.Jansen)。;Jeroen J.A.Keiren。;安东·威伊斯(Anton J.Wijs)。 一种计算断续等价和分支互模拟的(mathcal O(m\log n))算法。 (英语) Zbl 1367.68211号 ACM事务处理。计算。日志。 18,第2号,第13条,第34页(2017年).MSC公司:68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人,ACM Trans。计算。日志。18,第2号,第13条,第34页(2017年;Zbl 1367.68211) 全文: 内政部
斯乔德·克兰恩;马西耶·加兹达;威格·威瑟林克;Tim A.C.Willemse。 定点逻辑中的抽象。 (英语) Zbl 1367.68187号 ACM事务处理。计算。日志。 第16号第4条第29条第39页(2015年).MSC公司:60年第68季度 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cranen}等人,ACM Trans。计算。日志。16,第4号,第29条,39页(2015;Zbl 1367.68187) 全文: 内政部