杨纹

PoPrMaple挑战是一组具体的基准,既用于测量进展,又用于激励机械化元语言理论的讨论和协作。由于挑战问题的工作已经枯竭,PoPiMikWiki已经被这个静态页面取代了提交的解决方案和项目的历史记录。


ZBMaX中的参考文献(58篇)1标准条款

显示结果1至20的58。
按年份排序(引文
  1. Nogueira,巴勃罗:完全还原KRiViin抽象机KN模拟锁步法中的纯正规降阶:通过相应的演算证明(2019)
  2. Miller、Dale:机械化元理论再探(2019)
  3. 洞穴,安得烈,皮恩卡,汤屹云:逻辑关系的机械化证明——克里普克风格(2018)
  4. Miquey,E.TiNeN:形式化蕴涵代数在COQ(2018)中的形式化
  5. 赵,Jinxu;奥利维拉,布鲁诺C.D.S.;Srijver,汤姆:多态子类型算法的形式化(2018)
  6. Carette、贾可、农民、William M.:将数学知识形式化为一个双形态理论图:一个案例研究(2017)
  7. 切尼,杰姆斯;MimigiLango,阿尔伯托:(αalpha):机械化元理论模型检查器(2017)
  8. Grohne,赫尔穆特;Voigtl Snnder-JANIS:形式化语义双向化和依赖类型的扩展(2017)
  9. 本特森,杰斯珀;帕罗,约阿希姆;Weber,TJAGOK:伊莎贝尔的PSI结石(2016)
  10. 哈斯贝克,Maximilian P. L.;NIPKOW,托拜厄斯:列表更新算法的验证分析(2016)
  11. Lakin,Matthew R.;斯蒂芬诺维奇,Darko;菲利普斯,安得烈:通过序列化分析的化学反应网络编码的模块化验证(2016)
  12. 王,于霆;Nadathur,Gopala:一个高阶抽象语法方法验证函数程序的转换(2016)
  13. Asperti,安德列;Ricciotti,WiMel:多带图灵机的形式化(2015)
  14. Ciaffaglione,阿尔伯托;SigaNETTO,伊凡:弱HAAS中的机械化类型环境(2015)
  15. 波佩斯库,安德列;R.U,Gigig:术语通用逻辑(2015)
  16. Ricciotti,WiMe:作为抽象数据类型的绑定结构(2015)
  17. SMETSER、SJAK、van Eekelen、马尔科:高阶严格型的推导和推理(2015)
  18. 克劳斯顿,兰纳德:名义法律理论:名称理论等式理论的分类理论(2014)
  19. Park,Jonghyun;SEO,Jeongbong;Park,Sungwoo;李,Gyesik:机械化元理论无需输入上下文(2014)
  20. SMESSES,Sjaak;Barendsen,埃里克:验证函数形式化——PVS(2013)中的一种类型的理论案例研究伊波尔特