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

1. 布朗丁，莫德乔斯ée： 多约束非线性系统的控制器整定优化方法。元启发式方法（2021）
2. 多克特，卡斯帕；加杜奇，法比奥；狮子，本杰明；Santini，Francesco:带记忆的软约束自动机（2021）
3. 阿尔普特，M。；巴利斯，D。；萨皮ña、 J.：Maude项目的高效安全执行通过\textsf中的程序专业化ÁTAME系统（2020）
4. 阿尔普特，M。；Cuenca Ortega，A。；埃斯科瓦尔。；Meseguer，J.：有序等式程序模公理的部分评估框架（2020）
5. 卡莱特，雅克；农民，威廉M。；Sharoda，Yasmine:利用理论陈述中包含的信息（2020年）
6. 德尼古拉，罗科；法拉利，吉安鲁吉；普利斯，罗萨里奥；Tiezzi，Francesco:一种域特定分布式系统工程的正式方法（2020）
7. 一个混蛋ăzvan：引入（H），一种基于机构的正式规范和验证语言（2020）
8. 杜尔án、 弗朗西斯科；埃克，史蒂文；圣地亚哥埃斯科巴；市场í-奥利特，纳西索；梅斯盖尔，乔斯é; 卢比奥，卢布én；Carolyn Talcott:Maude的编程和符号计算（2020）
9. 杜尔án、 弗朗西斯科；梅斯盖尔，乔斯é; Rocha，Camilo：《有序有序条件规范模公理的基础汇合》（2020）
10. 埃拉拉，阿杰·库马尔；克里斯托弗·林奇：有界ACh统一（2020）
11. Gă在里面ă, 丹尼尔；中村正崎；绪方、和谷弘；Futatsugi，Kokichi:通过合并推出的终止稳定性和充分完整性（2020年）
12. 卢卡斯，萨尔瓦多：使用有根据的关系证明运营终止（2020年）
13. 卢卡斯，萨尔瓦多；梅斯盖尔，乔斯é; 古蒂é瑞兹，罗来纳州úl： 条件重写系统的2D依赖对框架。二： 先进处理器和实现技术（2020）
14. 市场ín，Ó疤痕；阿尔伯托威尔德乔；市场í-奥利特，纳西斯科：重写逻辑中的组合规范（2020）
15. 梅斯盖尔，乔斯é: 广义重写理论，一致性完成和符号方法（2020）
16. 米兰达佩雷亚，法维奥E。；冈茨á莱兹·胡埃斯卡，鲁尔德·德尔·卡门；利纳雷斯Aré瓦洛，P。赛琳娜：等式推理的交互式证明搜索（2020）
17. Quaresma，Pedro：几何中的自动推理和知识管理（2020）
18. 赵欣；Haller，Philipp:统一最终一致性和可观测原子一致性的复制数据类型（2020）
19. 阿普特，马尔ía；巴利斯，黛米斯；昆卡·奥尔特加，天使；圣地亚哥埃斯科巴；梅斯盖尔，乔斯é: (\mathsfACUOS^\mathbf2）：一个高性能的模块化ACU泛化系统（2019）
20. 阿普特，马尔ía；圣地亚哥埃斯科巴；萨皮娜，茱莉亚；Ballis，Demis:Maude理论与Narval的符号分析（2019）