Visa Nummelin卡
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 【j4】 亚历山大·本特坎普 , 布兰切特 , Visa Nummelin卡 , 索菲·图雷特 , 彼得·武克米洛维奇 , 乌韦·沃尔德曼 :
机械数学家。 Commun公司。 ACM公司 66 ( 4 ) : 80-90 ( 2023 ) [j3] 亚历山大·本特坎普 , 布兰切特 , Visa Nummelin卡 , 索菲·图雷特 , 乌韦·沃尔德曼 :
通过Lambda-Supposition实现完整高效的高阶推理。 ACM SIGLOG新闻 10 ( 4 ) : 25-40 ( 2023 ) 【c5】 Visa Nummelin卡 , 布兰切特 , 桑德·达曼 :
自动扣除中的循环驱动总和。 FroCoS公司 2023 : 23-40 2022 [注2] 彼得·武克米洛维奇 , 亚历山大·本特坎普 , 布兰切特 , 西蒙·克鲁恩斯 , Visa Nummelin卡 , 索菲·图雷特 :
使高阶叠加工作。 J.汽车。 原因。 66 ( 4 ) : 541-564 ( 2022 ) 2021 [j1] 彼得·武克米洛维奇 , 亚历山大·本特坎普 , Visa Nummelin卡 :
高效的全高阶统一。 日志。 方法计算。 科学。 17 ( 4 ) ( 2021 ) 【c4】 Visa Nummelin卡 , 亚历山大·本特坎普 , 索菲·图雷特 , 彼得·武克米洛维奇 :
与第一类布尔函数和Inprocessing子句的叠加。 CADE公司 2021 : 378-395 【c3】 彼得·武克米洛维奇 , 亚历山大·本特坎普 , 布兰切特 , 西蒙·克鲁恩斯 , Visa Nummelin卡 , 索菲·图雷特 :
使高阶叠加起作用。 CADE公司 2021 : 415-432 2020 【c2】 彼得·武克米洛维奇 , Visa Nummelin卡 :
高阶叠加证明程序中的布尔推理。 PAAR+SC²@IJCAR 2020 : 148-166 【c1】 彼得·武克米洛维奇 , 亚历山大·本特坎普 , Visa Nummelin卡 :
高效的全高阶统一。 金融稳定与发展部 2020 : 5:1-5:17 [i1] 彼得·武克米洛维奇 , 亚历山大·本特坎普 , Visa Nummelin卡 :
高效的全高阶统一。 CoRR公司 abs/2011.09507 ( 2020 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)