Paulette Koronkevich;拉蒙·拉科夫;阿马尔·艾哈迈德;威廉·鲍曼。 ANF保留依赖类型,直到外延相等。 (英语) 兹比尔1511.68055 J.功能。程序。 32,论文编号e12,53 p.(2022).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Koronkevich}等人,J.Funct。程序。32,论文编号e12,53 p.(2022;Zbl 1511.68055) 全文: 内政部
哈桑·阿姆贾德 压缩命题反驳。 (英语) Zbl 1335.68222号 Merz,Stephan(编辑)等人,第六届关键系统自动验证国际研讨会论文集(AVoCS 2006),法国南希,2006年9月18日至19日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记185,3-15(2007)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Amjad},电子。注释Theor。计算。科学。185,3-15(2007年;兹bl 1335.68222) 全文: 内政部