斯帕斯

SPASS是一阶等式逻辑的自动定理证明器。在我们的输入公式中,第一个顺序是So-prover。在这样的公式上运行SPASS将得到最终输出SPASS beiseite:Proof found。如果公式有效,则SPASS beiseite:Completion found。如果公式无效,并且由于一阶逻辑的有效性是不可判定的,SPASS可能永远运行而不会产生任何最终结果。


zbMATH中的参考文献(参考 177篇文章 参考,1标准件)

显示177个结果中的1到20个。
按年份排序(引用)

1 2 ... 7 8 9 下一个

  1. Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(2020年)
  2. Baumgartner,Peter;Schmidt,Renate A.:自下而上模型生成方法的阻塞和其他增强(2020)
  3. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  4. Cialdea Mayer,Marta:一个处理名词、绑定词、及物性和关系层次的证明者(2020)
  5. Diaconescu,Răzvan:引入(H),一种基于机构的正式规范和验证语言(2020)
  6. Echenim,M.;Peltier,N.:结合归纳和基于饱和的定理证明(2020)
  7. Teucke,Andreas;Weidenbach,Christoph:SPASS-AR:基于对一元浅线性片段的近似精化的一阶定理证明器(2020)
  8. Alexander Bentkamp;Blanchette,Jasmin;Tourret,Sophie;Vukmirović,Petar;Waldmann,Uwe:与lambdas的叠加(2019年)
  9. 布朗伯格,马丁;弗勒瑞,马蒂亚斯;施瓦兹,西蒙;魏登巴赫,克里斯托夫:SPASS-SATT。CDCL(LA)解决方案(2019年)
  10. Brown,Chad E.;Gauthier,Thibault;Kaliszyk,Cezary;Sutcliffe,Geoff;Urban,Josef:GRUNGE:a grand unified ATP challenge(2019年)
  11. 戴维斯,欧内斯特:验证技术与基础物理(2019)
  12. 艾伯纳,加布里埃尔:自动直觉定理证明的Herbrand构造(2019)
  13. Kaliszyk,Cezary;Pąk,Karol:Mizar作为Isabelle对象逻辑的语义(2019)
  14. Klimek,Radosław:面向工作流软件模型的基于模式和组合驱动的逻辑规范自动生成(2019)
  15. Li,Di Long;Tiu,Alwen:结合proverif和自动定理证明器进行安全协议验证(2019)
  16. Reis,Giselle;Woltzenlogel Paleo,Bruno:从解析到顺序演算的翻译复杂性(2019)
  17. Stojanović-Ðurđević,萨那:欧几里德几何中从非正式到正式的证明(2019)
  18. Alexander Bentkamp;Blanchette,Jasmin Christian;Cruanes,Simon;Waldmann,Uwe:无(\lambda)高阶逻辑的叠加(2018)
  19. Benzmüller,Christoph;Parent,Xavier;van der Torre,Leendert:道义逻辑推理基础设施(2018)
  20. Claessen,Koen;Smallbone,Nicholas:方程逻辑中一阶Horn公式的有效编码(2018)

1 2 ... 7 8 9 下一个


更多出版物请访问:http://www.spass-prover.org/publications.html