编辑配置文件(在新选项卡中打开) 弗朗西斯科·詹科(Francesco A.Genco)。 合著者距离 作者ID: 弗朗西斯科基因a 发布日期: 弗朗西斯科·根科。 已编制索引的文档: 11出版物自2015年起,包括2个附加arXiv预打印 合著者: 6位合著者具有9联合出版物 89位合作作者 全部的 前5名合著者 2 单作者的 7 蝉蜕、阿加塔 4 费德里科·阿西埃里 2 弗朗西丝卡·波乔列西 1 伊利莎·弗雷斯基 1 比约恩·莱尔曼 1 洛伦佐·保罗·罗西 系列 1 哲学逻辑杂志 1 理论计算机科学 1 应用非经典逻辑杂志 1 ACM计算逻辑事务 领域 8 数学逻辑和基础(03-XX) 三 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物被引用10中的次8文件 引用人▼ 年份▼ 毛利人ṃ道义逻辑:证明理论与应用。 Zbl 1471.03042号 蝉蜕、阿加塔;伊利莎·弗雷斯基;弗朗西斯科·詹科(Francesco A.Genco)。;比约恩·莱尔曼 三 2015 哥德尔逻辑。从自然演绎到并行计算。 Zbl 1452.03065号 费德里科·阿西埃里;蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 三 2017 作为并行程序的经典证明。 Zbl 1528.68055号 费德里科·阿西埃里;蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 2 2018 超序列和规则、嵌入和应用系统。 Zbl 1407.03066号 蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 2 2018 作为并行程序的经典证明。 Zbl 1528.68055号 费德里科·阿西埃里;蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 2 2018 超序列和规则、嵌入和应用系统。 Zbl 1407.03066号 蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 2 2018 哥德尔逻辑。从自然演绎到并行计算。 Zbl 1452.03065号 费德里科·阿西埃里;蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 三 2017 毛利人ṃ道义逻辑:证明理论与应用。 Zbl 1471.03042号 蝉蜕、阿加塔;Elisa Freschi公司;弗朗西斯科·根科。;比约恩·莱尔曼 三 2015 所有引用出版物 前5名被引用出版物 全部的 前5名20位作者引用 4 蝉蜕、阿加塔 三 伊利莎·弗雷斯基 三 弗朗西斯科·詹科(Francesco A.Genco)。 2 费德里科·阿西埃里 1 奥费尔·阿列利 1 安尼马里州博格 1 达戈斯蒂诺,马塞洛 1 Dov M.加巴伊。 1 弗朗西丝卡·古利萨诺 1 比约恩·莱尔曼 1 索尼娅·马林 1 戴尔·艾伦·米勒 1 桑杰·莫吉尔 1 安德鲁·奥利特 1 玛雅·奥什维斯基 1 马蒂奥·帕斯库奇 1 伊莱恩·皮门特尔 1 斯特拉瑟,基督徒 1 范伯克利,基斯 1 马尔科·沃尔佩 5篇连载文章中引用 2 Studia Logica公司 1 理论计算机科学 1 逻辑历史与哲学 1 纯逻辑与应用逻辑年鉴 1 逻辑、语言与信息杂志 在3个字段中引用 8 数学逻辑和基础(03-XX) 三 计算机科学(68至XX) 1 历史和传记(01-XX) 按年份列出的引文