编辑配置文件(在新选项卡中打开) 阿德里安·杜里埃 合著者距离 作者ID: 榴莲 发布日期: 阿德里安·杜里埃 已编制索引的文档: 6出版物自2017年起 合著者: 10位合著者具有6份联合出版物 195位合作作者 全部的 前5名合著者 0 单作者的 5 丹尼尔·赫希科夫 5 戴维·桑吉奥吉 1 卡明·阿巴特 1 罗伯托·布兰科 1 瑟·特凡·乔巴赫 1 迪帕克·加尔格 1 Hriţcu,科特林 1 马可·帕特里格纳尼 1 埃里克·坦特 1 杰雷米·蒂鲍特 系列 2 理论计算机科学 1 计算机科学中的逻辑方法 领域 5 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用13次10文件 引用人▼ 年份▼ 方程的发散性和唯一解。 Zbl 1442.68135号 阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 5 2017 方程的发散性和唯一解。 Zbl 1442.68134号 阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 三 2019 渴望作为过程发挥作用。 兹比尔1452.03044 阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 三 2018 关于高阶过程的“最新”推理。 Zbl 1436.68211号 阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 1 2020 跟踪编译器的正确性和安全编译。 Zbl 1508.68046号 卡明·阿巴特;罗伯托·布兰科;特凡市CiobácȘ;阿德里安·杜里埃;迪帕克·加尔格;Hrițcu,科特林;马可·帕特里格纳尼;埃里克·坦特;杰雷米·蒂鲍特 1 2020 关于高阶过程的“最新”推理。 Zbl 1436.68211号 阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 1 2020 跟踪编译器的正确性和安全编译。 Zbl 1508.68046号 卡明·阿巴特;罗伯托·布兰科;特凡市CiobácȘ;阿德里安·杜里埃;迪帕克·加尔格;Hrițcu,科特林;马可·帕特里格纳尼;埃里克·坦特;杰雷米·蒂鲍特 1 2020 方程的发散性和唯一解。 Zbl 1442.68134号 阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 三 2019 渴望作为过程发挥作用。 Zbl 1452.03044号 阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 三 2018 方程的发散性和唯一解。 兹比尔1442.68135 阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 5 2017 所有引用出版物 前5名被引用出版物 全部的 前5名10位作者引用 8 戴维·桑吉奥吉 三 阿德里安·杜里埃 三 丹尼尔·赫希科夫 2 Damien Pous 2 田,春 2 徐,西安 1 卡明·阿巴特 1 Busi,Matteo公司 1 Jean-Marie,马迪奥 1 斯泰利奥斯·赞帕斯 5篇连载文章中引用 三 计算机科学中的逻辑方法 2 理论计算机科学 1 信息与计算 1 计算的形式方面 1 RAIRO公司。理论信息学及其应用 在2个字段中引用 10 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的引文