叶康峰;西蒙·福斯特;吉姆·伍德科克 使用交互树为RoboChart正式验证动画。 （英文） Zbl 07803185号 J.日志。阿尔盖布。方法计划。 137，文章ID 100940，36 p.（2024）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Ye}等人，J.Log。阿尔盖布。方法程序。137，文章ID 100940，36 p.（2024；Zbl 07803185） 全文： 内政部 arXiv公司
乔纳森·鲍文（Jonathan P.Bowen）。;朱慧彪 何纪峰在牛津大学及其他大学：一种赞赏。 （英文） Zbl 07810649号 Bowen，Jonathan P.（编辑）等人，《程序设计理论和形式化方法》。纪念贺继峰80岁生日的散文。查姆：斯普林格。莱克特。注释计算。科学。14080, 3-18 (2023).MSC公司：68-03 01A70型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen}和\textit{H.Zhu}，Lect。注释计算。科学。14080，3-18（2023；Zbl 07810649） 全文： 内政部
叶康峰;西蒙·福斯特;吉姆·伍德科克 带有定理证明的概率序列程序的自动推理。 （英文） Zbl 07670535号 Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。第19届国际会议，RAMiCS 2021，法国马赛，2021年11月2日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13027, 465-482 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.Ye}等人，Lect。注释计算。科学。13027465--482（2021；Zbl 07670535） 全文： 内政部 链接
韩胜伟;赵斌 （Q）-代数的表示定理。 （英文） Zbl 1439.06012号 半群论坛 98，第2号，299-314（2019）. 审核人：谢尔盖斯·索洛夫乔夫斯（里加） MSC公司：07年6月 05年6月 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{S.Han}和\textit{B.Zhao}，半群论坛98，第2期，299--314（2019；Zbl 1439.06012） 全文： 内政部
鲁道夫·伯哈默;沃尔特·古特曼 多重关系和谓词变换的关系代数方法。 （英文） Zbl 1432.68069号 Hinze，Ralf（编辑）等人，《程序构造的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9129, 50-70 (2015).MSC公司：68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{W.Guttmann}，莱克特。注释计算。科学。9129，50-70（2015年；兹比尔1432.68069） 全文： 内政部
JoséN·奥利维拉。 函数依赖的“Hoare逻辑”的关系代数方法。 （英文） Zbl 1434.68144号 J.日志。阿尔盖布。方法计划。 83，第2期，249-262（2014）.MSC公司：第68页，共15页 03B70号 03G15年 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}、J.Log。阿尔盖布。方法程序。83，第2号，249--262（2014；Zbl 1434.68144） 全文： 内政部
伦纳特·贝林格 关系分解。 （英文） Zbl 1342.68070号 Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学课堂讲稿6898，39-54（2011）。MSC公司：68号30 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}，莱克特。注释计算。科学。6898，39-54（2011；Zbl 1342.68070） 全文： 内政部
Bohórquez V，Jaime A。 程序正确性的基本统一方法。 （英文） Zbl 1211.68079号 正式Asp。计算。 22，第5期，611-627（2010）.MSC公司：68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bohórquez V}，正式Asp。计算。22，第5号，611--627（2010；Zbl 1211.68079） 全文： 内政部
安娜·卡瓦尔坎蒂;吉姆·伍德科克;史蒂夫·邓恩 程序设计统一理论中的天使不确定性。 （英文） Zbl 1105.68012号 正式Asp。计算。 18，第3期，288-307（2006）.MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人，《正式Asp》。计算。18，第3号，288--307（2006；Zbl 1105.68012） 全文： 内政部 链接
诺里希罗·卡米德 对合量子数的Gentzen型计算。 （英文） Zbl 1089.81007号 国际J.Theor。物理学。 44，第4期，399-428（2005）.MSC公司：81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，国际期刊Theor。物理学。44，第4号，399--428（2005；Zbl 1089.81007） 全文： 内政部
R·米利。;J·德斯哈奈斯。;弗拉皮耶，M。;Mili，A。 规范之间的语义距离。 （英文） Zbl 0949.68098号 西奥。计算。科学。 247，编号1-2，257-276（2000）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Mili}等人，Theor。计算。科学。247，编号1--2，257--276（2000；Zbl 0949.68098） 全文： 内政部
朱尔斯·德沙奈斯;纳迪尔·贝尔基特;萨拉赫·本·穆罕默德·斯盖尔;费卢兹·切尔;阿里·贾阿 在关系代数中嵌入恶魔半格。 （英文） Zbl 0874.68199号 西奥。计算。科学。 149，第2期，333-360（1995）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人，Theor。计算。科学。149，第2号，333--360（1995；Zbl 0874.68199） 全文： 内政部
卡罗琳·布朗;道格·格尔 关系和非交换线性逻辑。 （英文） Zbl 0841.0302号 J.纯应用。代数 105，第2期，117-136（1995）.MSC公司：03B20型 05年3月 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{C.Brown}和\textit{D.Gurr}，J.Pure Appl。代数105，No.2，117--136（1995；Zbl 0841.0302） 全文： 内政部
马尔滕·德·里杰克 皮尔斯代数的逻辑。 （英文） Zbl 0842.03015号 J.逻辑语言信息。 4，第3期，227-250（1995年）.MSC公司：03B45号 03G25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.de Rijke}，J.Logic Lang.Inf.4，No.3，227--250（1995；Zbl 0842.03015） 全文： 内政部
布林克，C。;加贝，D.M。;霍尔巴赫，H.J。 走向自动化的二元性。 （英文） Zbl 0816.03004号 计算。数学。申请。 29，No.2，73-90（1995）. 审核人：N.Curteanu（伊阿什） MSC公司：03B35型 68吨15 03C10号机组 68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Brink}等人，计算。数学。申请。29，第2号，73--90（1995；Zbl 0816.03004） 全文： 内政部 链接
斯特凡·德姆里;埃瓦州奥洛斯卡;英格丽德·雷维茨基 关于霍尔关系的推理。 （英文） Zbl 0858.68057号 安。数学。Artif公司。智力。 12，编号3-4，265-289（1994）.MSC公司：68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人，《数学年鉴》。Artif公司。智力。12，编号3--4，265--289（1994；Zbl 0858.68057） 全文： 内政部
克里斯·布林克;卡塔琳娜·布里茨;雷娜特·施密特（Renate A.Schmidt）。 皮尔士代数。 （英文） Zbl 0811.03047号 正式Asp。计算。 6，第3期，339-358（1994）. 审核人：朱尼斯·切鲁利斯（里加） MSC公司：03G15年 60年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Brink}等人，《形式Asp》。计算。6，第3号，339--358（1994；Zbl 0811.03047） 全文： 内政部
G.F.马斯卡里。;F.普奇。 自主偏序集和量子数。 （英文） 兹比尔0803.06016 RAIRO，通知。泰奥尔。申请。 27，第6号，483-501（1993）.MSC公司：05年6月 03G25号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.F.Mascari}和\textit{F.Pucci}，RAIRO，通知。泰奥尔。申请。27，第6号，483--501（1993；Zbl 0803.06016） 全文： 内政部 欧洲DML
C.A.R.霍尔。;何继峰;A.桑帕约。 编译器设计的范式方法。 （英文） Zbl 0790.68023号 学报信息。 30，第8号，701-739（1993）. 审核人：C.A.R.Hoare（牛津） MSC公司：68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}等人，《信息学报》第30期，第8期，第701--739页（1993年；Zbl 0790.68023） 全文： 内政部
萨姆森·艾布拉姆斯基;史蒂文·维克斯 量子数、观察逻辑和过程语义。 （英文） Zbl 0823.06011号 数学。结构。计算。科学。 3，第2期，161-227（1993）. 审核人：R.Maddux（艾姆斯） MSC公司：05年6月 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{S.Vickers}，数学。结构。计算。科学。3，第2号，161--227（1993；Zbl 0823.06011） 全文： 内政部
朱尔斯·德沙奈斯;阿里·贾阿;法塔玛·米莉;布德里加、努里丁;阿里·米莉 关系除法运算符：共轭核。 （英文） Zbl 0779.68058号 西奥。计算。科学。 114，第2期，247-272（1993）. 审核人：C.哈特斯佩格 MSC公司：60年第68季度 68卢比99 68问题55 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人，Theor。计算。科学。114，第2号，247--272（1993；Zbl 0779.68058） 全文： 内政部
卡罗琳·布朗;道格·格尔 量子数的表示定理。 （英文） Zbl 0776.06011号 J.纯应用。代数 85，第1号，27-42（1993）. 审核人：K.I.Rosenthal（斯克内克塔迪） MSC公司：05年6月 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Brown}和\textit{D.Gurr}，J.Pure Appl。代数85，No.1，27--42（1993；Zbl 0776.06011） 全文： 内政部
奥格·德穆尔 谓词转换器的归纳数据类型。 （英文） Zbl 0764.68095号 信息处理。莱特。 43，第3期，113-117（1992）.MSC公司：60年第68季度 第68季度第65季度 68号01 18A25型 PDF格式BibTeX公司 XML格式引用 \textit{O.de Moor}，Inf.过程。莱特。43，No.3，113--117（1992；Zbl 0764.68095） 全文： 内政部
罗森塔尔，Kimmo I。 游离类量子化合物。 （英文） Zbl 0729.18007号 J.纯应用。代数 72，第1号，67-82（1991）. 审核人：P.T.Johnstone（剑桥） MSC公司：18D20天 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{K.I.Rosenthal}，J.Pure Appl.《纯粹应用》。《代数72》，第1期，67--82（1991；Zbl 0729.18007） 全文： 内政部
何继峰 过程模拟和细化。 （英文） Zbl 0696.68099号 形式方面计算。 1，第3期，229-241（1989）.MSC公司：68平方英寸 第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Jifeng}，正式Asp。计算。1，第3号，229--241（1989；Zbl 0696.68099） 全文： 内政部
C.A.R.霍尔。;何继峰;J.W.桑德斯。 数据细化中的预先指定。 （英文） Zbl 0624.68027号 信息处理。莱特。 25, 71-76 (1987).MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}等人，《Inf.过程》。莱特。25、71——76（1987年；Zbl 0624.68027） 全文： 内政部