测试程序集

此软件的关键字
zbMATH中的参考文献, 2标准条款 )
考夫曼,马特;摩尔,J.斯特罗瑟:一阶设置中的有限二阶功能(2020年) 卡米尔布朗奇(2019年)与巴蒂亚尔·布朗奇(Alexander Vulovie)合二为一 Berger,Ulrich;Hou,Tie:Church简单类型理论的可实现性解释(2017) Benzmüller,Christoph;Sultana,Nik;Paulson,Lawrence C.;Theiß,Frank:The higher-order prover\textscLeo II(2015年) Kirchner,Hélene:重写策略和战略重写计划(2015) Libal,Tomer:二阶统一中的规则模式(2015) Benzmüller,Christoph;Paulson,Lawrence C.:简单类型理论中的量化多模态逻辑(2013) 查德-布朗高阶定理的证明(E-2013) Nik Sultana;Jasmin Christian Blanchette;Paulson,Lawrence C.:LEO-II和Satallax在大锤试验台上(2013) Benzmüller,Christoph;Gabbay,Dov;Genovese,Valerio;Rispoli,Daniele:在经典高阶逻辑中嵌入和自动化条件逻辑(2012) Backes,Julian;Brown,Chad Edward:带选择的高阶逻辑分析表(2011) Benzmüller,Christoph:古典高阶逻辑中古典与非经典逻辑的结合与自动化(2011) Brown,Chad E.:将高阶定理证明化为一系列SAT问题(2011) Novák,Vilém:基于EQ代数的模糊类型理论及其扩展(2011) 奥本海默,保罗E.;扎尔塔,爱德华N.:逻辑基础上的关系与功能:类型理论考量(2011) Backes,Julian;Brown,Chad E.:带选择的高阶逻辑分析表(2010) Benzmüller,Christoph:验证模态逻辑立方体是一项简单的任务(对于高阶自动推理机)(2010) Benzmüller,Christoph:在简单类型理论中结合逻辑(2010) Benzmüller,Christoph;Paulson,Lawrence C.:简单类型理论中的多模态和直觉逻辑(2010) Blanchette,Jasmin Christian;Nipkow,Tobias:挑剔:基于关系模型查找器的高阶逻辑反例生成器(2010)