劳尔·费尔瓦里;弗朗西斯科·特鲁科;贝塔·齐利安尼 Coq中动态互模拟定理的验证。 (英语) Zbl 1518.68418号 J.日志。阿尔盖布。方法计划。 120,文章ID 100642,19 p.(2021).MSC公司:68V20型 03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Fervari}等人,J.Log。阿尔盖布。方法程序。120,文章ID 100642,19 p.(2021;Zbl 1518.68418) 全文: 内政部
劳尔·费尔瓦里;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 反思是关系模型中的一种行为。 (英语) Zbl 1435.03035号 J.日志。阿尔盖布。方法计划。 108, 1-23 (2019).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{R.Fervari}和\textit{F.R.Velázquez Quesada},J.日志。阿尔盖布。方法程序。108,1-23(2019年;Zbl 1435.03035) 全文: 内政部