.png){kind=icon}
返回
Iterative Monomorphisation
.png){kind=icon}
OA
AI
DOI：10.1007/978-3-032-04167-8_15.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
单态化可用于扩展单态证明器以支持多态逻辑。我们描述了一种实用的迭代方法。我们在Zipperposition证明器中实现了该方法，用于在调用单态证明器E作为后端之前消除多态性。我们的评估表明，这种方法提高了Zipperposition的成功率。此外，我们发现迭代单态化在某些多态原生实现中表现更优。
Keyword:
Polymorphism
monomorphism
automated reasoning
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
F
IF:
0
论文数:
21
被引数:
0
机构
.png){kind=icon}
查看更多内容