J.A.伯格斯特拉。;我·贝斯克。 分子动力学。 (英语) Zbl 1008.68033号 J.日志。阿尔盖布。程序。 51,第2期,193-214(2002).MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},J.Log。阿尔盖布。程序。51,第2号,193--214(2002;Zbl 1008.68033) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 结合程序和状态机。 (英语) Zbl 1008.68068号 J.日志。阿尔盖布。程序。 51,第2期,175-192(2002).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},J.Log。阿尔盖布。程序。51,第2号,175--192(2002;Zbl 1008.68068) 全文: 内政部
阿尔班·蓬塞 带有单位指令运算符的程序代数。 (英语) Zbl 1008.68080号 J.日志。阿尔盖布。程序。 51,第2期,157-174(2002).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Ponse},J.Log。阿尔盖布。程序。51,第2号,157--174(2002;Zbl 1008.68080) 全文: 内政部
J.A.伯格斯特拉。;织机,M.E。 序列代码的程序代数。 (英语) Zbl 1008.68079号 J.日志。阿尔盖布。程序。 51,第2期,125-156(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{M.E.Loots},J.Log。阿尔盖布。程序。51,No.2,125--156(2002;Zbl 1008.68079) 全文: 内政部