沃尔夫冈·雷西格 抽象状态机器的表达能力。 (英语) 兹比尔1104.68507 计算。通知。 22,编号3-4,209-219(2003).MSC公司:2005年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Reisig},计算。通知。22,编号3--4,209--219(2003;Zbl 1104.68507)
马丁·亨森。;史蒂夫·里夫斯;乔纳森·鲍文(Jonathan P.Bowen)。 Z逻辑及其后果。 (英语) Zbl 1104.68361号 计算。通知。 22,编号3-4,381-415(2003).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Henson}等人,计算。通知。22,编号3--4,381--415(2003;Zbl 1104.68361)
蒂尔·莫萨科夫斯基;安妮·E·哈克斯豪森。;唐纳德·桑内拉;安德烈·塔莱基 通用代数规范语言:语义和证明理论。 (英语) Zbl 1104.68365号 计算。通知。 22,第3-4、285-321号(2003年). 审核人:Claudia Simionescu-Badea(维也纳) MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}等人,计算。通知。22,编号3--4,285--321(2003;Zbl 1104.68365)
克里斯·乔治;安妮·E·哈克斯豪森。 RAISE规范语言的逻辑。 (英语) Zbl 1104.68360号 计算。通知。 22,第3-4、323-350号(2003).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.George}和\textit{A.E.Haxthausen},计算。通知。22,编号3--4,323--350(2003;Zbl 1104.68360)
斯蒂芬·默兹 在\(\text{TLA}^+\)的逻辑上。 (英语) Zbl 1104.68364号 计算。通知。 22,编号3-4,351-379(2003). 审核人:加布里埃尔·奥克萨(布拉迪斯拉发) MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz},计算机。通知。22,编号:3-4351-379(2003年;Zbl 1104.68364)
拉兹万·迪亚科内斯库;高基町五指;Kazuhiro绪方 CafeOBJ:逻辑基础和方法。 (英语) 兹比尔1104.68358 计算。通知。 22,编号3-4,257-283(2003). 审核人:Claudia Simionescu Badea(维也纳) MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}等人,计算。通知。22,编号3--4,257--283(2003;Zbl 1104.68358)
多米尼克·坎塞尔;多米尼克·梅里 B方法的基础。 (英语) Zbl 1104.68409号 计算。通知。 22,编号3-4,221-256(2003).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Cansell}和\textit{D.Méry},计算。通知。22,编号3--4,221--256(2003;Zbl 1104.68409)