莫德

Maude是一种高性能的反射式语言和系统,它支持等式和重写逻辑规范,并为各种应用程序编程。作为一种等价逻辑亚语言,OBJ3语言在很大程度上影响了Maude。除了支持等式规范和编程外,Maude还支持重写逻辑计算。


zbMATH中的参考文献(参考文献698篇,3标准条款)

显示698个结果中的1到20个。
按年份排序(引用)

1 2 ... 33 34 35 下一个

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

1 2 ... 33 34 35 下一个