×
弗洛里安·拉贝

一种模块化重建算法。 （英语） Zbl 1407.68440号

ACM事务处理。计算。日志。 第19条第4款第24条第43页（2018年）.

引用于4文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）
68立方英尺 知识表示

关键词：

嗯;类型重建;依赖类型;逻辑框架;模块化

软件：

伊莎贝尔;PVS公司;伊萨尔;MMT公司;Coq公司;白鲸;阿贝拉;霍利·哈默;帮助;拉丁语;LLFp公司;阿格达;德尔芬
PDF格式BibTeX公司 XML格式引用
\textit{F.Rabe}，ACM翻译。计算。日志。19，第4号，第24条，43页（2018；Zbl 1407.68440）
全文： 内政部