富利亚·霍罗扎尔;弗洛里安·拉贝 交换语言的形式逻辑定义。 （英文） Zbl 1417.68206号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：施普林格。莱克特。注释计算。科学。9150, 171-186 (2015).MSC公司：68立方英尺 68T27型 68单位15 PDF格式BibTeX公司 XML格式引用 \textit{F.Horozal}和\textit{F.Rabe}，莱克特。注释计算。科学。9150171--186（2015；Zbl 1417.68206） 全文： 内政部
富利亚·霍罗扎尔;弗洛里安·拉贝;迈克尔·科尔哈斯 形式化数学的灵活运算符。 （英文） Zbl 1304.68171号 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能讲义》，312-327（2014）。MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Horozal}等人，Lect。注释计算。科学。8543、312--327（2014；Zbl 1304.68171） 全文： 内政部
米海·Codescu;富利亚·霍罗扎尔;艾瓦拉斯贾库鲍斯卡斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝 编译逻辑。 （英文） Zbl 1394.68071号 Martí-Oliet，Narciso（编辑）等人，代数开发技术的最新趋势。第21届国际研讨会，2012年WADT，西班牙萨拉曼卡，2012年6月7日至10日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37634-4/pbk）。计算机科学课堂讲稿7841111-126（2013）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Codescu}等人，Lect。注释计算。科学。7841、111-126（2013年；Zbl 1394.68071） 全文： 内政部
富利亚·霍罗扎尔;迈克尔·科尔哈斯;弗洛里安·拉贝 在语句级别扩展MKM格式。 （英文） Zbl 1278.68293号 Johan Jeuring等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。《人工智能课堂讲稿》，65-80（2012）。MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Horozal}等人，Lect。注释计算。科学。7362，65-80（2012；Zbl 1278.68293） 全文： 内政部
米海·Codescu;富利亚·霍罗扎尔;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝;克里斯蒂娜·索贾科娃 面向异构工具集Hets中的逻辑框架。 （英文） Zbl 1278.68286号 Mossakowski，Till（编辑）等人，代数发展技术的最新趋势。第20届国际研讨会，WADT 2010，德国埃特尔森，2010年7月1日至4日。修订了选定的论文。柏林：施普林格出版社（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） 全文： 内政部
富利亚·霍罗扎尔;弗洛里安·拉贝 在类型理论逻辑框架中表示模型理论。 （英文） Zbl 1236.03027号 理论。计算。科学。 412，第37号，4919-4945（2011）.MSC公司：03B70号 03B10号机组 03C98号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Horozal}和\textit{F.Rabe}，Theor。计算。科学。412，第37、4919-4945号（2011；Zbl 1236.03027） 全文： 内政部
米海·Codescu;富利亚·霍罗扎尔;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝 项目摘要：逻辑图集与集成器（LATIN）。 （英文） Zbl 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） 全文： 内政部
富利亚·霍罗扎尔;阿林·艾科布;君士坦丁·朱科维奇;迈克尔·科尔哈斯;弗洛里安·拉贝 结合来源、内容、呈现、叙述和关系表示。 （英文） Zbl 1278.68292号 Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，212-227（2011）。MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Horozal}等人，Lect。注释计算。科学。6824、212--227（2011年；Zbl 1278.68292） 全文： 内政部
富利亚·霍罗扎尔;弗洛里安·拉贝 在类型理论逻辑框架中表示模型理论。 （英文） Zbl 1291.03068号 Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第四次研讨会论文集》（LSFA 2009），巴西巴西利亚，2009年8月28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记256，49-65（2009）。MSC公司：03B70号 03B10号机组 03C99号 PDF格式BibTeX公司 XML格式引用 \textit｛F.Horozal｝和\textit｛F.Rabe｝，电子。注释Theor。计算。科学。256、49-65（2009年；Zbl 1291.03068） 全文： 内政部 OA许可证