zbMATH参考文献(参考 18篇文章

显示第1至18个结果,共18个。
按年份排序(引用)

  1. 盖里,洛伦佐;波佩斯库,安德烈:带绑定的语法形式化一般理论:扩展版(2020)
  2. 亚伯,安德烈亚斯;阿拉斯,纪尧姆;哈米尔,阿里亚;皮恩特卡,布里吉特;莫米利亚诺,阿尔伯托;施卡弗,史蒂文;斯塔克,凯瑟琳:波普尔马克重新加载:逻辑关系的机械化证明(2019年)
  3. Mahmoud,Mohamed Yousri;Felty,Amy P.:线性逻辑中Quiper量子编程语言的元理论形式化(2019)
  4. 米勒,戴尔:重温机械化元理论(2019)
  5. 阿尔伯托Momigliano;Pientka,Brigitte;Thibodeau,David:程序设计中的一个案例研究:Howe方法(2019)
  6. Cave,Andrew;Pientka,Brigitte:逻辑关系的机械化证明——Kripke风格(2018)
  7. Felty,Amy;Momigliano,Alberto;Pientka,Brigitte:使用包含绑定和假设上下文的语法树进行推理的基准(2018)
  8. Mahmoud,Mohamed Yousri;Felty,Amy P.:量子编程语言的正式元级分析框架(2018)
  9. Xavier,Bruno;Olatet,Carlos;Reis,Giselle;Nigam,Vivek:Coq中的机械化聚焦线性逻辑(2018)
  10. Ferreira,Francisco;Pientka,Brigitte:使用一流绑定器的语法的程序(2017年)
  11. Kaiser,Jonas;Pientka,Brigitte;Smolka,Gert:关联系统F和(\lambda2):Coq、Abella和Beluga案例研究(2017)
  12. Crole,Roy L.;Furniss,Amy:规范杂交:扩展依赖类型的杂交后代(2016)
  13. Felty,Amy P.;Momigliano,Alberto;Pientka,Brigitte:用高阶抽象语法表示进行推理的下700个挑战性问题。二: 调查(2015)
  14. Popescu,Andrei;Roşu,Grigore:术语泛型逻辑(2015)
  15. 费蒂,艾米;莫米格里亚诺,阿尔伯托:混血儿。高阶抽象语法推理的定义两级方法(2012)
  16. Andrew Gacek;Dale Miller;Gopalan Nadathur:计算推理的两级逻辑方法(2012)
  17. Tiu,Alwen;Momigliano,Alberto:带归纳和共归纳的逻辑的切消元(2012)
  18. Felty,Amy P.;Momigliano,Alberto:Hybrid:用高阶抽象语法进行推理的定义两级方法(2008)ioport公司


更多出版物请访问:http://hybrid.di.unimi.it/publications.html