西古尔德·梅尔达尔 生成的完整公理语义。 (英语) Zbl 0731.68076号 分布计算。 5,第3期,159-174(1991).MSC公司:60年第68季度 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{S.Meldal},分布计算。5,第3号,159--174(1991;Zbl 0731.68076) 全文: 内政部
R.D.坦能。;托宾,J.K。 可能世界语义的延续。 (英语) 兹比尔0737.68058 西奥。计算。科学。 85,第2期,283-303(1991年). 审核人:格里戈拉斯 MSC公司:68问题55 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Tennent}和\textit{J.K.Tobin},Theor。计算。科学。85,第2283-303号(1991年;兹bl 0737.68058) 全文: 内政部
中岛,Reiji;本田、米丘;Hayao Nakahara 层次化程序规范和验证——一种多种逻辑方法。 (英语) Zbl 0432.68011号 学报信息。 14, 135-155 (1980).MSC公司:60年第68季度 68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Nakajima}等人,《学报》第14期,第135-155页(1980年;Zbl 0432.68011) 全文: 内政部