“使用Skolemized Proofs的假设担保合同综合……”
安德烈亚斯·凯蒂斯 , 格里戈里·费德尤科维奇 , 安德鲁·加塞克 , 约翰·D·巴克斯 , 阿里·古芬克尔 , 迈克尔·沃伦 :
使用可变现性Skolemized证明的假设担保合同综合。 CoRR公司 abs/1610.05867 ( 2016 )
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有这些列表中给出的所有项目的完整和精心策划的元数据。
![](https://dblp.org/img/cog.dark.24x24.png)