咖啡馆

此软件的关键字
zbMATH中的参考文献, 1标准件 )
基于SCUR的正式语言验证(基于SCUR的规范) 德兰,弗朗西斯科;梅斯盖尔,何塞;罗查,卡米洛:有序有序条件规范的基本汇合模公理(2020) Găină,Daniel;Nakamura,Masaki;Ogata,Kazuhiro;Futatsugi,Kokichi:通过合并推出的终止稳定性和充分完整性(2020年) Iohara,Kenji(编辑);Malbos,Philippe(编辑);Saito,Masa Hiko(编辑);Takayama,Nobuki(编辑):微分方程的两个代数旁路:Gröbner基和quivers(2020) Găină,Daniel;Ţuţu,Ionuţ:混合动态一阶逻辑的Birkhoff完备性(2019) Hamana,Makoto:如何用二阶计算分析仪SOL证明方程理论的可判定性(2019) 费雷林,伊莎贝尔;马丁斯,曼努埃尔A.:隐藏逻辑的简要概述(2018) Lucas,萨尔瓦多;Gutiérrez,Raúl:有序排序一阶理论逻辑模型的自动合成(2018) Lucas,Salvador;Meseguer,José;Gutiérrez,Raúl:条件重写系统的2D依赖对框架。 一: 定义和基本处理器(2018) Găină,丹尼尔:用户定义共享的混合逻辑中的逻辑编程基础(2017) Lucas,Salvador;Meseguer,José:证明条件项重写系统终止性质的依赖对(2017) Meseguer,José:条件重写模公理的严格一致性(2017) Meseguer,José;Skeirik,Stephen:初始序排序代数中的方程公式和模式运算(2017) Riesco,Adrián;Ogata,Kazuhiro:来自半正式证明文件的正式证明生成器(2017) Riesco,Adrián;Ogata,Kazuhiro;Futatsugi,Kokichi:CafeOBJ的Maude环境(2017) Roşu,Grigore:匹配逻辑(2017) Diaconescu,Răzvan:一阶视图的函数语义(2016) Lucas,Salvador;Meseguer,José:条件重写中的范式和范式理论(2016) Meseguer,José:有序排序重写和同余闭包(2016) Ahmed,Waqar;Hasan,Osman:使用定理证明走向形式化故障树分析(2015)