弗洛里安·拉贝 形态公理。 (英文) 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 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) 全文: 内政部