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

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）