莫德

此软件的关键字
zbMATH中的参考文献(参考文献 698篇 , 3标准条款 )
阿尔普特,M。; 巴利斯,D。; 埃斯科瓦尔。; 萨皮尼亚,J.:用等式部分评价优化重写理论(2022) 鲁比奥,鲁宾; 玛蒂奥利特,纳西索; 皮塔,伊莎贝尔; Verdejo,Alberto:在Maude使用策略模拟和模型检查膜系统(2022) 鲁比奥,鲁宾; 玛蒂奥利特,纳西索; 皮塔,伊莎贝尔; 阿尔伯托韦尔德霍:战略的金属级转型(2022年) 斯特尔,马克·奥利弗; 金,明英; Talcott,Carolyn L.:神经符号学习和推理的概率近似逻辑(2022) 托卡斯、舒坤; 欠你,奥拉夫; Ramezanifarkhani,Toktam:面向对象分布式系统的GDPR相关隐私遵从性静态检查(2022) 阿曼,博格丹; 乔巴努,加布里埃尔:带成本的卫生纸系统中的旅行推销员问题(2021年) 巴兹尔,戴维德; 范泰奇,亚历山德罗; 鲁切尔,路易吉; Mandò,Gianluca:用统计模型检查器分析自动电车轨道定位系统(2021年) Blondin,Maude Josée:多约束和非线性系统的控制器优化方法。 元启发式方法(2021) 加尔泰斯,乔治亚娜; Tunç,Hünkar Can:解释NetKAT的安全故障(2021年) Cirstea、Horatiu; 皮埃尔,勒穆西奥; Moreau,Pierre Etienne:模式消除转换(2021) 多克特,卡斯帕; 加杜奇,法比奥; 狮子,本杰明; Santini,Francesco:带记忆的软约束自动机(2021) 邓杜瓦,贝西克; 特穆尔库兹亚; Marin,Mircea:结合和交换理论中的变分方程匹配(2021) 杜兰,旧金山; 罗查,卡米洛; Salaün,Gwen:BPMN过程的资源供应策略:使用Maude的规范和分析(2021) 安东尼奥·冈萨雷斯·布尔盖诺; 厄尔维茨基,Peter Csaba:ANP和PDL中异构设备的形式化和分析(2021) 李,李易; Gunter,Elsa L.:(\mathbbK)的完整语义及其对Isabelle的翻译(2021) 卢卡斯,萨尔瓦多:衍生复杂性与语境敏感重写(2021) 卢卡斯,萨尔瓦多:上下文相关重写的应用和扩展(2021) 梅斯盖尔,何塞:莫德的符号计算:一些塔帕斯(2021) 鲁比奥,鲁宾; 玛蒂奥利特,纳西索; 皮塔,伊莎贝尔; 阿尔伯托Verdejo:Maude的策略、模型检查和分支时间特性(2021) 温克勒,莎拉; Moser,Georg:逻辑约束重写的运行时复杂性分析(2021)