×

弗朗西斯科·詹科(Francesco A.Genco)。

作者ID: 弗朗西斯科基因a最近由“Genco,Francesco A.”撰写的zbMATH文章
发布日期: 弗朗西斯科·根科。
已编制索引的文档: 11出版物自2015年起,包括2个附加arXiv预打印
合著者: 6位合著者具有9联合出版物
89位合作作者

按年份列出的出版物

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

按年份列出的引文