卡洛斯·阿雷塞斯;汉斯·范·迪特马什;劳尔·费尔瓦里;巴斯蒂安·莫伯特;弗朗索瓦州施瓦岑特鲁伯 作为动态操作符进行复制和删除。 (英语) Zbl 1515.03086号 J.应用。非类别。日志。 31,编号3-4,181-220(2021).MSC公司:03B45 03B42号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,J.Appl。非类别。日志。31,编号3--4,181-220(2021;Zbl 1515.03086) 全文: 内政部 链接
劳尔·费尔瓦里;弗朗西斯科·特鲁科;贝塔·齐利安尼 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页(2021;Zbl 1518.68418) 全文: 内政部