ZBMaCT中的参考文献(21篇文章中引用)

显示结果1至20的21。
按年份排序(引文
  1. StululAT,SoRin:机械验证基于公式的Noether归纳推理(2017)
  2. Kersani,Abdelkader;Peltier,尼古拉斯:叠加与归纳相结合:一个现实的实现(2013)
  3. Kersani,Abdelkader;Peltier,尼古拉斯:具有指数的一阶子句的完备性和可判定性结果(2013)
  4. 基什内尔,克劳德;基什内尔,H·L·Neon;法布里斯:基于狭义的归纳证明搜索(2013)
  5. Aravantinos,V.Fabela,R;Peltier,N:命题模式的可判定性和不可判定性结果(2011)
  6. Fuhs,卡斯滕;吉塞尔,J·鲁根;离别,米迦勒;Schneider Kamp,彼得;斯威德斯基,Stephan:用依赖对证明归纳和归纳定理证明(2011)
  7. Hicham,卡弗拉,李嘉图,Peltier,尼古拉斯:完美的判别图:指数为整数指数(2010)
  8. Aravantinos,Vincent;Caferra,李嘉图;Peltier,尼古拉斯:命题逻辑的图式演算(2009)
  9. Nahon,法布里斯;基什内尔,克劳德;基什内尔,Heell;Ne;Brauner,保罗:归纳证明搜索模(2009)
  10. 斯威德尔斯基,Stephan;离别,米迦勒;Giesl,Jürg.;FuHS,CARSTEN;Schneider Kamp,彼得:从属对终止分析和归纳定理证明(2009)
  11. Hicham、卡弗拉、李嘉图、Peltier、尼古拉斯:对定理证明器搜索空间的系统分析:第一步(2007)
  12. 格拉姆利克,伯恩哈德:归纳定理证明中的战略问题、问题与挑战(2005)
  13. Ponsini,奥利维尔;费德勒,卡林;库纳里斯,艾曼纽:将祈使程序改写为逻辑方程(2005)
  14. Barthe,吉尔斯;StululAT,Sulin:用隐式归纳技术验证JavaCARD平台(2003)
  15. 埃里克,基什内尔,克劳德;基什内尔,H·L·N,Quang Huy:对等式和归纳定理的证明搜索和证明检验。(2003)
  16. StululAT,Sorin:构建上下文覆盖集归纳程序的一般框架(2001)
  17. 瓦尔特,克里斯托夫;科尔比,托马斯:关于终止引理的推测。(2000)
  18. 瓦尔特,C.,科尔比,T.:通过重用证明定理(2000)
  19. 科尔比,托马斯;瓦尔特,克里斯托夫:定理重用证明的终结(1996)
  20. 沃尔什,T.:归纳证明的分歧批评家(1996)