罗尔夫·亨尼克；亚历山大·纳普；亚历山大·马德拉 具有绑定和静默转换的混合动态逻辑的观察解释。 （英语） Zbl 1528.68224号 J.日志。阿尔盖布。方法计划。 122，文章ID 100698，19 p.（2021）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人，J.Log。阿尔盖布。方法程序。122，文章ID 100698，19 p.（2021；Zbl 1528.68224） 全文： 内政部
罗尔夫·亨尼克；亚历山大·马德拉；马丁·威尔辛 重温行为规范和抽象规范。 （英语） Zbl 1396.68073号 西奥。计算。科学。 741, 32-43 (2018).MSC公司：68问题65 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人，Theor。计算。科学。741，32-43（2018；Zbl 1396.68073） 全文： 内政部
马丁斯（Manuel A.Martins）。；唐·皮戈齐 条件方程的行为推理。 （英语） Zbl 1129.68025号 数学。结构。计算。科学。 17，第5期，1075-1113（2007）.MSC公司：68号30 03B70号 68甲19 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Martins}和\textit{D.Pigozzi}，数学。结构。计算。科学。17，第5号，1075--1113（2007；Zbl 1129.68025） 全文： 内政部
马丁斯（Manuel A.Martins）。 行为模型类的闭包属性。 （英语） Zbl 1118.68087号 西奥。计算。科学。 379，编号1-2，53-83（2007）.MSC公司：60年第68季度 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{M.A.Martins}，Theor。计算。科学。379，编号1--2，53-83（2007；Zbl 1118.68087） 全文： 内政部 链接
米歇尔·比多特；罗尔夫·亨尼克 基于构造函数的观测逻辑。 （英语） Zbl 1088.68112号 J.日志。阿尔盖布。程序。 67，第1-2、3-51号（2006）.MSC公司：68问题65 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker}，J.Log。阿尔盖布。程序。67，编号1--2，3--51（2006；Zbl 1088.68112） 全文： 内政部
米歇尔·比多特；罗尔夫·亨尼克；亚历山大·库兹 观察逻辑、基于构造的逻辑及其二重性。 （英语） Zbl 1038.68079号 西奥。计算。科学。 298，第3期，471-510（2003）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}等人，Theor。计算。科学。298，第3号，471--510（2003；Zbl 1038.68079） 全文： 内政部
埃里克·波尔；兹瓦恩堡，一月 从代数、余代数到双代数。 （英语） Zbl 1260.18004号 Corradini，Andrea（编辑）等人，CMCS 2001。2001年4月6日至7日，意大利热那亚，计算机科学中的联合大脑方法第四次研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第1期，289-307（2001）。MSC公司：18个C20 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.Poll}和\textit{J.Zwanenburg}，电子。注释Theor。计算。科学。44，第1号，289--307（2001；Zbl 1260.18004） 全文： 内政部
斯特凡·卡尔斯；唐纳德·桑内拉；安德烈·塔莱基 扩展ML的定义：简单介绍。 （英语） Zbl 0901.68024号 西奥。计算。科学。 173，第2期，445-484（1997）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Kahrs}等人，Theor。计算。科学。173，编号2，445--484（1997；Zbl 0901.68024） 全文： 内政部
罗尔夫·亨尼克；马丁·威尔辛；米歇尔·比多特 具有可观测性算子的结构化规范的证明系统。 （英语） Zbl 0901.68116号 西奥。计算。科学。 173，第2期，393-443（1997）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人，Theor。计算。科学。173，编号2，393--443（1997；Zbl 0901.68116） 全文： 内政部
唐纳德·桑内拉；安德烈·塔莱基 代数规范和程序开发的基本概念。 （英语） Zbl 0887.68070号 正式Asp。计算。 9，第3期，229-269（1997）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki}，正式Asp。计算。9，第3号，229--269（1997；Zbl 0887.68070） 全文： 内政部
米歇尔·比多特；罗尔夫·亨尼克 行为理论和行为特性的证明。 （英语） Zbl 0872.68167号 西奥。计算。科学。 165，第1期，第3-55页（1996年）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker}，Theor。计算。科学。165，编号1，3-55（1996年；Zbl 0872.68167） 全文： 内政部
马丁·霍夫曼；唐纳德·桑内拉 关于高阶逻辑中的行为抽象和行为满足。 （英语） 兹比尔1496.68190 Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。915, 247-261 (1995).MSC公司：60年第68季度 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{D.Sannella}，莱克特。票据计算。科学。915247--261（1995年；Zbl 1496.68190） 全文： 内政部