贝德维尔

此软件的关键字
zbMATH中的参考文献(参考文献 22条 )
希思,昆汀; 米勒,戴尔:模型检验的证明理论(2019) 米勒,戴尔:重温机械化元理论(2019) 阿尔伯托莫米格里亚诺; 皮恩卡,布里吉特; 大卫·蒂博多:程序设计中的一个案例研究:豪方法(2019) 安志勇; 霍恩,罗斯; Tiu,Alwen:使用直觉模态逻辑对开放双相似性的表征(2017) 切尼,詹姆斯; Alberto Momigliano:(\alpha\mathrmCheck):机械化元理论模型检查器(2017) 希思,昆汀; Miller,Dale:《模型检验的证明理论:扩展摘要》(2017) 米勒,戴尔:验证检查和逻辑编程(2017) 蒂乌,阿尔文; 阮,南; Horne,Ross:规范:安全协议的等价性检查器(2016) 米勒,戴尔; Tiu,Alwen:从表格证据搜索中提取证据(2013) 费尔蒂,艾米; 莫米利亚诺,阿尔伯托:混合动力。 高阶抽象语法推理的定义两级方法(2012) 盖克,安德鲁; 米勒,戴尔; Nadathur,Gopalan:计算推理的两级逻辑方法(2012) 蒂乌,阿尔文; Momigliano,Alberto:用归纳法和共归纳法消除逻辑(2012) 盖克,安德鲁; 米勒,戴尔; 纳达图尔,戈帕兰:名义抽象(2011) 德尔扎诺,乔治; 贾科巴齐,罗伯托; Ranzato,Francesco:(约束逻辑)编程中的静态分析、抽象解释和验证(2010) 夏克·尼尔森,安德斯; Schürmann,Carsten:线性和仿射lambda演算的Curry式显式替换(2010) Baelde,David:关于最小类属量化的表现力(2009) 邓菲尔德,约书亚; Pientka,Brigitte:高阶数据的案例分析(2009) 盖克,安德鲁; 米勒,戴尔; Nadathur,Gopalan:Abella中关于结构操作语义规范的推理(2009) Miller,Dale:《逻辑中操作语义规范的形式化》(2009) 贝尔德,大卫; 盖克,安德鲁; 米勒,戴尔; 纳达图尔、戈帕兰; Tiu,Alwen:Bedwyr句法表达式模型检验系统(2007) ioport公司