引用人
西蒙斯R 普芬宁F (2011) 程序分析的逻辑近似 高阶和符号计算 2007年10月10日/10990-011-9071-2 24 :1-2 (41-80) 在线发布日期:2011年6月1日 西蒙斯R 防护F 普埃布拉G 维达尔G (2009) 线性逻辑近似 2009年ACM SIGPLAN部分评估和程序操作研讨会会议记录 10.1145/1480945.1480949 (9-20) 在线发布日期:2009年1月19日 韩J 周Z 王毅 (2007) 一阶逻辑中密码协议的自动验证 第八届WSEAS自动化和信息国际会议第八届会议记录-第8卷 10.5555/1347952.1347960 (283-288) 在线发布日期:2007年6月19日 显示更多引用者