弗洛里安·拉贝 形态公理。 （英语） 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 1253.03100号 Corradini，Andrea（编辑）等人，代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，326-341（2009）。MSC公司：03G30型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit｛K.Sojakova｝和\textit｛F.Rabe｝，Lect。注释计算。科学。5486、326--341（2009年；Zbl 1253.03100） 全文： 内政部