×
编辑配置文件（在新选项卡中打开）

弗朗西斯科·特鲁科

合著者距离
作者ID: 弗朗西斯科卡车公司最近由“Trucco，Francisco”撰写的zbMATH文章
发布日期： 弗朗西斯科·特鲁科
编入索引的文档： 2出版物自2020年起
合著者： 2合著者具有2联合出版物
27位合作作者

合著者

0 单作者的
2 劳尔·费尔瓦里
2 Ziliani，贝塔

系列

1 程序设计中的逻辑和代数方法杂志

领域

2 数理逻辑与基础（03-XX）
1 计算机科学（68至XX）

按年份列出的出版物

zbMATH Open中包含的引文

2出版物被引用2中的次2文件 引用人▼ 年份▼
Coq中动态互模拟定理的验证。 Zbl 1518.68418号
劳尔·费尔瓦里;弗朗西斯科·特鲁科;Ziliani，贝塔
1
2021
Coq中关系变换逻辑的机械化互模拟定理。 Zbl 1496.03042号
劳尔·费尔瓦里;弗朗西斯科·特鲁科;Ziliani，贝塔
1
2020
Coq中动态互模拟定理的验证。 Zbl 1518.68418号
劳尔·费尔瓦里;弗朗西斯科·特鲁科;Ziliani，贝塔
1
2021
Coq中关系变换逻辑的机械化互模拟定理。 Zbl 1496.03042号
劳尔·费尔瓦里;弗朗西斯科·特鲁科;Ziliani，贝塔
1
2020

4位作者引用

1 劳尔·费尔瓦里
1 旧金山特鲁科
1 汉斯·皮特·范·迪特马什
1 Ziliani，贝塔

2篇连载文章中引用

1 信息与计算
1 程序设计中的逻辑和代数方法杂志

在2个字段中引用

2 计算机科学（68至XX）
1 数理逻辑与基础（03-XX）

按年份列出的引文