弗洛里安·拉贝 一种具有类型依赖相等性的语言。 （英语） Zbl 1485.68293号 Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12833, 211-227 (2021).MSC公司：68V20型 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，莱克特。注释计算。科学。12833，211-227（2021；Zbl 1485.68293） 全文： 内政部
弗洛里安·拉贝 MMTTeX：连接面向内容和叙事的文档格式。 （英语） Zbl 1428.68351号 Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。11617, 205-210 (2019).MSC公司：68五氧化二钒 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，莱克特。注释计算。科学。11617205-210（2019年；兹比尔1428.68351） 全文： 内政部
弗洛里安·拉贝 一种模块化类型的重建算法。 （英语） Zbl 1407.68440号 ACM事务处理。计算。日志。 第19条第4款第24条第43页（2018年）.MSC公司：68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛F.Rabe｝，ACM翻译。计算。日志。19，第4号，第24条，43页（2018；Zbl 1407.68440） 全文： 内政部
弗洛里安·拉贝 如何识别、翻译和组合逻辑？ （英语） Zbl 1444.03121号 J.日志。计算。 27，第6期，1753-1798（2017）.MSC公司：03B70号 03B62号 03G30型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，J.Log。计算。27，第6号，1753-1798（2017；Zbl 1444.03121） 全文： 内政部 链接
弗洛里安·拉贝 形态公理。 （英语） Zbl 1373.03132号 西奥。计算。科学。 691, 55-80 (2017). 审核人：Ernst-Erich Doberkat（多特蒙德） MSC公司：03G30型 68问题65 PDF格式BibTeX公司 XML格式引用 \文本｛F.Rabe｝，Theor。计算。科学。691、55-80（2017年；Zbl 1373.03132） 全文： 内政部
弗洛里安·拉贝 逻辑的未来：基础依赖。 （英语） Zbl 1436.03179号 日志。Univers大学。 10，第1号，1-20（2016）.MSC公司：03B70号 03B22号 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，日志。Univers大学。10，第1号，1--20（2016；Zbl 1436.03179） 全文： 内政部
弗洛里安·拉贝 松驰理论形态。 （英语） 兹比尔1367.03061 ACM事务处理。计算。日志。 17，第1号，第5条，36页（2015年）.MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，ACM翻译。计算。日志。17，第1号，第5条，36页（2015；Zbl 1367.03061） 全文： 内政部
弗洛里安·拉贝 通用文字。 （英语） Zbl 1417.68216号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：施普林格。莱克特。注释计算。科学。9150, 102-117 (2015).MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，莱克特。注释计算。科学。9150102-117（2015；Zbl 1417.68216） 全文： 内政部
弗洛里安·拉贝 结合模型和证明理论的逻辑框架。 （英语） Zbl 1326.03082号 数学。结构。计算。科学。 23，第5期，945-1001（2013）. 审核人：拉兹万·迪亚科内斯库（普洛耶什蒂） MSC公司：03G30型 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，数学。结构。计算。科学。23，第5号，945--1001（2013；Zbl 1326.03082） 全文： 内政部
弗洛里安·拉贝 MMT API：通用MKM系统。 （英语） Zbl 1390.68626号 Carette，Jacques（编辑）等人，《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目，作为2013年CICM的一部分，于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39319-8/pbk）。计算机科学讲座笔记7961。《人工智能课堂讲稿》，339-343（2013）。MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，莱克特。注释计算。科学。7961339-343（2013年；兹比尔1390.68626） 全文： 内政部 arXiv公司
弗洛里安·拉贝 用于正式数学库的查询语言。 （英语） Zbl 1359.68272号 Johan Jeuring等人，《智能计算机数学》。第11次国际会议，AISC 2012，第19次研讨会，Calculationus 2012，第5次国际研讨会，DML 2012，第11次国际会议，MKM 2012，系统和项目，作为2012年CICM的一部分，于2012年7月8日至13日在德国不来梅举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。人工智能课堂讲稿，143-158（2012）。MSC公司：68立方英尺 68第20页 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，莱克特。注释计算。科学。7362、143--158（2012年；Zbl 1359.68272） 全文： 内政部 arXiv公司
弗洛里安·拉贝 具有依赖类型的一阶逻辑。 （英语） Zbl 1222.03016号 Furbach，Ulrich（编辑）等人，《自动推理》。2006年8月17日至20日，第三届国际联合会议，IJCAR 2006，美国华盛顿州西雅图。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37187-8/pbk）。计算机科学讲义4130。人工智能课堂讲稿，377-391（2006）。MSC公司：03B35型 03B10号机组 03B15号机组 03C07号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，莱克特。注释计算。科学。4130377--391（2006；Zbl 1222.03016） 全文： 内政部