蒂尔·莫萨科夫斯基;米海·Codescu;费边·纽豪斯;奥利弗·库茨 分布式本体、建模和规范语言–DOL。 （英语） Zbl 1409.68284号 Koslow，Arnold（编辑）等人，《通向普遍逻辑的道路》。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市：Birkhäuser/Springer。通用螺栓。日志。，489-520 (2015).MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}等人，in：通向普遍逻辑的道路。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市：Birkhäuser/Springer。489-520（2015；Zbl 1409.68284） 全文： 内政部
蒂尔·莫萨科夫斯基;Pawłowski、Wies \322»aw;唐纳德·桑内拉;安德烈·塔莱基 CafeOBJ逻辑的羊皮纸。 （英语） 兹比尔1407.68311 Iida，Shusaku（编辑）等人，《规范、代数和软件》。献给二谷浩一的散文。柏林：斯普林格。莱克特。注释计算。科学。8373, 66-91 (2014).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}等人，Lect。注释计算。科学。8373、66-91（2014年；Zbl 1407.68311） 全文： 内政部 链接
米海·Codescu;富利亚·霍罗扎尔;迈克尔·科尔哈塞;蒂尔·莫萨科夫斯基;弗洛里安·拉贝;克里斯蒂娜·索贾科娃 面向异构工具集Hets中的逻辑框架。 （英语） Zbl 1278.68286号 Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137139-159（2012）。MSC公司：68T27型 03B40型 68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Codescu}等人，Lect。注释计算。科学。7137、139--159（2012年；Zbl 1278.68286） 全文： 内政部
米海·Codescu;富利亚·霍罗扎尔;迈克尔·科尔哈塞;蒂尔·莫萨科夫斯基;弗洛里安·拉贝 模型理论隐藏的证明理论解释。 （英语） Zbl 1278.68202号 Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137118-138（2012）。MSC公司：68问题65 03B40型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Codescu}等人，Lect。注释计算。科学。7137、118--138（2012；Zbl 1278.68202） 全文： 内政部
米海·Codescu;富利亚·霍罗扎尔;迈克尔·科尔哈塞;蒂尔·莫萨科夫斯基;弗洛里安·拉贝 项目摘要：逻辑地图集和集成器（LATIN）。 （英语） 兹比尔1278.68285 Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，289-291（2011）。MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Codescu}等人，Lect。注释计算。科学。6824、289--291（2011年；Zbl 1278.68285） 全文： 内政部