伊莎贝尔/霍尔

此软件的关键字
zbMATH中的参考文献(引用于, 2标准条款 )
Abrahamsson,Oskar:高阶逻辑的验证检查器(2020) Abrahamsson,Oskar;Ho,Son;Kanabar,Hrutvik;Kumar,Ramana;Myreen,Magnus O.;Norrish,Michael;Tan,Yong Kiam:从单体霍尔函数合成CakeML的制样(2020年) Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(2020年) Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020) Christoph Benzmüller;Fuenmayor,David:Gödel本体论论证变体中正属性、超滤器和模态崩溃的计算机支持分析(2020) Benzmüller,Christoph;Parent,Xavier;van der Torre,Leendert:为伦理和法律推理设计规范性理论:\textslogickyframework,methodology,and tool support(2020年) Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020) Rudolf Berghammer;Furusawa,Hitoshi;Guttmann,Walter;Höfner,Peter:路径的关系特征(2020) Cristiá,Maximiliano;Rossi,Gianfranco:求解有限集和二元关系上的无量词一阶约束(2020) Jose Divasón;Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Berlekamp-Zassenhaus分解算法的验证实现(2020) Dolu,Nazlı;Hastürk,Umur;Nature,Mustafa Kemal:考虑最近欧几里得距离的地区客户的最小-最大设施位置问题的解决方法(2020年) Eberl,Manuel;Haslbeck,Max W.;Nipkow,Tobias:随机二叉树结构的验证分析(2020) Echenim,Mnacho;Guol,Hervé;Peltier,Nicolas:在Isabelle/HOL正式确定欧洲衍生品的Cox-Ross Rubinstein定价(2020年) Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020) 盖里,洛伦佐;波佩斯库,安德烈:带绑定的语法形式化一般理论:扩展版(2020) Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Isabelle/HOL中代数数的验证实现(2020) Kahl,Wolfram:教学工具中的计算关系代数证明(2020) Daniel Kirchner;Christoph Benzmüller;Zalta,Edward N.:功能类型理论中的机械化原理逻辑形而上学(2020) Lammich,Peter:有效验证(UN)SAT证书检查(2020年) Li,Wenda;Paulson,Lawrence C.:通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根(2020)