Krzysztof R.阿普特。;奥尔德罗格（Ernst-Rüdiger Olderog） 霍尔50年的逻辑。 （英语） Zbl 1427.68008号 正式Asp。计算。 31，第6号，751-807（2019）.MSC公司：68-03 03B70型 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{E.-R.Olderog}，正式Asp。计算。31，第6号，751--807（2019；Zbl 1427.68008） 全文： 内政部 arXiv公司 链接
Makoto Tatsuta;魏恩根·钦;马哈穆杜尔·费萨尔·阿梅恩 通过分离逻辑验证指针程序的完整性和表达性。 （英语） Zbl 1422.68038号 Inf.计算。 267, 1-27 (2019).MSC公司：68号30 03B70型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tatsuta}等人，《信息计算》。267，1-27（2019年；Zbl 1422.68038） 全文： 内政部
徐兆伟;张文辉;隋、岳飞 霍尔逻辑相对于标准模型的完整性。 （英语） Zbl 1444.03122号 Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。10139, 119-131 (2017).MSC公司：03B70型 03C62号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Xu｝等人，Lect。注释计算。科学。10139、119--131（2017；Zbl 1444.03122） 全文： 内政部 arXiv公司
曹存根;隋、岳飞;张再岳 Hoare逻辑的非标准模型（mathbf{M}）中由可及性关系引起的计算。 （英语） 兹比尔1404.03028 前面。计算。科学。 10，第4期，717-725（2016）.MSC公司：03B70型 03D20日 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \textit{C.Cao}等人，前面。计算。科学。10，第4号，717--725（2016；Zbl 1404.03028） 全文： 内政部
费萨尔·阿梅恩，马哈茂杜尔;Makoto Tatsuta 分离逻辑中递归过程的完整性。 （英语） Zbl 1339.68044号 西奥。计算。科学。 631, 73-96 (2016).MSC公司：68号30 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.费萨尔·阿梅恩}和\textit{M.Tatsuta}，提奥。计算。科学。631、73--96（2016年；Zbl 1339.68044） 全文： 内政部
徐兆伟;隋、岳飞;张文辉 标准模型上输入的霍尔逻辑的完整性。 （英语） Zbl 1333.68182号 西奥。计算。科学。 612, 23-28 (2016).MSC公司：60年第68季度 03B70型 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xu}等人，Theor。计算。科学。612，23-28（2016年；兹bl 1333.68182） 全文： 内政部
格里戈里斯·安东尼奥 模块验证。 （英语） Zbl 0806.68076号 正式Asp。计算。 6，第2期，223-244（1994年）.MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{G.Antoniou}，正式Asp。计算。6，编号2，223--244（1994；Zbl 0806.68076） 全文： 内政部
霍夫曼，R。 霍尔逻辑的弱表达模型。 （英语） Zbl 0728.68081号 西奥。计算。科学。 82，第2期，409-418（1991）. 审核人：P.G.Holban（伊阿什） MSC公司：68问题55 60年第68季度 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hoofman}，Theor（西奥）。计算。科学。82，No.2，409--418（1991；Zbl 0728.68081） 全文： 内政部
R.D.坦能。 规范逻辑的语义分析。 （英语） Zbl 0699.68110号 Inf.计算。 85，No.2，135-162（1990）.MSC公司：68问题55 03B70型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Tennent}，信息计算。85，No.2，135--162（1990；Zbl 0699.68110） 全文： 内政部
奥尔塔-冈萨雷斯，M.Teresa;弗朗西斯科·卢西奥·卡拉斯科;马里奥·罗德里格斯-阿塔莱霍 部分正确逻辑的一些一般不完全性结果。 （英语） 兹比尔0657.03011 Inf.计算。 79，第1期，22-42（1988年）. 审核人：圣戈特瓦尔德 MSC公司：03B70型 68号01 60年第68季度 68问题65 03天80 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Hortalá-González}等人，《信息计算》。79，编号1，22-42（1988；Zbl 0657.03011） 全文： 内政部
J.A.伯格斯特拉。;J.V.塔克。 可计算和半可计算数据类型的代数规范。 （英语） Zbl 0637.68013号 西奥。计算。科学。 50, 137-181 (1987). 审核人：G.格里加斯 MSC公司：68号01 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker}，Theor。计算。科学。50137--181（1987年；Zbl 0637.68013） 全文： 内政部
马里奥·罗德里格斯·阿塔列霍 关于霍尔逻辑中的表达性和相对完整性的一些问题。 （英语） Zbl 0575.68015号 西奥。计算。科学。 39, 189-206 (1985).MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Rodriguez Artalejo}，西奥。计算。科学。39、189--206（1985年；Zbl 0575.68015） 全文： 内政部
J.A.伯格斯特拉。;J.V.塔克。 基于霍尔逻辑的程序公理语义。 （英语） 兹伯利0551.68016 学报信息。 21, 293-320 (1984).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker}，《学报年鉴》21，293--320（1984；Zbl 0551.68016） 全文： 内政部
J.F.特劳布。;Wasilkowski，G.W。;Woźniakowski，H。 线性问题的平均情况最优性。 （英语） Zbl 0543.68029号 西奥。计算。科学。 30，1-25（1984年）.MSC公司：65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Traub}等人，Theor。计算。科学。30、1--25（1984年；Zbl 0543.68029） 全文： 内政部
J.A.伯格斯特拉。;Klop，J.W。 使用霍尔逻辑证明程序包含。 （英语） Zbl 0533.68011号 西奥。计算。科学。 30, 1-48 (1984).MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.W.Klop}，Theor。计算。科学。30、1--48（1984年；Zbl 0533.68011） 全文： 内政部 链接
J.A.伯格斯特拉。;J.V.塔克。 Hoare针对具有两种数据类型的编程语言的逻辑。 （英语） Zbl 0522.68012号 西奥。计算。科学。 28, 215-221 (1984).MSC公司：68号01 60年第68季度 68第05页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker}，Theor。计算。科学。28215--221（1984；Zbl 0522.68012） 全文： 内政部 链接
Ernst-Ruediger Olderog 关于表达的概念和适应的规则。 （英语） Zbl 0511.68006号 西奥。计算。科学。 24, 337-347 (1983).MSC公司：68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}，Theor（西奥）。计算。科学。24337--347（1983年；Zbl 0511.68006） 全文： 内政部
J.A.伯格斯特拉。;J.V.塔克。 一些自然结构在其while-programs中没有一个合理且可判定的Hoare-like逻辑。 （英语） Zbl 0483.68033号 西奥。计算。科学。 17, 303-315 (1982).MSC公司：68问题65 60年第68季度 03天35分 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker}，Theor。计算。科学。17、303--315（1982年；Zbl 0483.68033） 全文： 内政部 链接