斯蒂芬·布鲁姆。;佐尔坦·埃西克 星半环拟变数的两个公理化。 (英语) Zbl 0856.08009号 牛市。EATCS公司 59, 150-152 (1996).MSC公司:08C15号 2015年2月6日 08C10号 08A70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.Ésik},公牛。EATCS 59、150--152(1996年;Zbl 0856.08009)
罗苏州格里戈 有序等式逻辑的制度。 (英语) Zbl 0798.03041号 牛市。EATCS公司 53, 250-255 (1994).MSC公司:03C95号 08B05号 03G30型 08A70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Grigore},公牛。EATCS 53、250--255(1994;Zbl 0798.03041)
瑟伦·克里斯滕森;汉斯·休特尔 无限状态流程的可决定性问题——一项调查。 (英语) Zbl 0783.68042号 牛市。EATCS公司 51, 156-166 (1993).MSC公司:2010年第68季度 68-02 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Christensen}和\textit{H.Hüttel},公牛。EATCS 51、156--166(1993;Zbl 0783.68042)
克里斯托夫·梅内尔 分支程序-计算机辅助电路设计的有效数据结构。 (英语) Zbl 0751.68019号 牛市。EATCS公司 46149-170(1992年). 审核人:利沃夫斯基 MSC公司:68第05页 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel},公牛。EATCS 46、149--170(1992年;Zbl 0751.68019)
约瑟夫·戈根;拉兹万·迪亚科内斯库 牛津大学对有序代数的简短调查。 (英语) Zbl 1023.08500号 牛市。EATCS公司 48, 121-133 (1992).MSC公司:08A70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Goguen}和\textit{R.Diaconescu},公牛。EATCS 48、121--133(1992年;Zbl 1023.08500)
尤里·古里维奇 进化代数。教程介绍。 (英语) Zbl 0757.68076号 牛市。EATCS公司 43, 264-284 (1991).MSC公司:68问题55 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich},公牛。EATCS 43、264--284(1991年;Zbl 0757.68076)
斯蒂芬·布鲁姆。;佐尔坦·埃西克 凯利和斯通。 (英语) Zbl 0749.08003号 牛市。EATCS公司 43, 159-161 (1991). 审核人:J.R.Isbell(布法罗) MSC公司:08A70号 2015年6月 08B26号 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.Ei sik},公牛。EATCS 43、159--161(1991;Zbl 0749.08003)