编辑配置文件(在新选项卡中打开) 卡洛斯·隆巴迪 合著者距离 作者ID: 隆巴迪·卡洛斯 发布日期: 卡洛斯·隆巴迪 外部链接: MGP公司 已编制索引的文档: 6出版物自2012年起 合著者: 5位合著者具有6联合出版物 73位合作作者 合著者 0 单作者的 5 亚历杭德罗·雷奥斯 三 爱德华多·博内利 三 罗德·德弗里杰尔 三 迪莉娅·凯斯纳 1 贝尼亚米·阿卡托利 系列 2 理论计算机科学 字段 6 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用31中的次25文件 引用人▼ 年份▼ 非标准标准化定理。 Zbl 1284.68121号 贝尼亚米·阿卡托利;爱德华多·博内利;迪莉娅·凯斯纳;卡洛斯·隆巴迪 21 2014 无限重写的证明条件。 Zbl 1394.68200号 卡洛斯·隆巴迪;亚历杭德罗·雷奥斯;罗德·德弗里杰尔 4 2014 动态模式计算的标准化。 Zbl 1437.68040号 爱德华多·博内利;迪莉娅·凯斯纳;卡洛斯·隆巴迪;亚历杭德罗·里奥斯 三 2012 无限重写的投影。 Zbl 1394.68201号 卡洛斯·隆巴迪;亚历杭德罗·里奥斯;罗德·德弗里杰尔 2 2017 关于超越需求的抽象规范化。 Zbl 1387.68143号 爱德华多·博内利;迪莉娅·凯斯纳;卡洛斯·隆巴迪;亚历杭德罗·雷奥斯 1 2017 无限重写的投影。 Zbl 1394.68201号 卡洛斯·隆巴迪;亚历杭德罗·雷奥斯;罗德·德弗里杰尔 2 2017 关于超越需求的抽象规范化。 Zbl 1387.68143号 爱德华多·博内利;迪莉娅·凯斯纳;卡洛斯·隆巴迪;亚历杭德罗·雷奥斯 1 2017 非标准标准化定理。 Zbl 1284.68121号 贝尼亚米·阿卡托利;爱德华多·博内利;迪莉娅·凯斯纳;卡洛斯·隆巴迪 21 2014 无限重写的证明条件。 Zbl 1394.68200号 卡洛斯·隆巴迪;亚历杭德罗·雷奥斯;罗德·德弗里杰尔 4 2014 动态模式计算的标准化。 Zbl 1437.68040号 爱德华多·博内利;迪莉娅·凯斯纳;卡洛斯·隆巴迪;亚历杭德罗·里奥斯 三 2012 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 8 凯斯纳,迪莉娅 7 贝尼亚米·阿卡托利 4 亚历杭德罗·雷奥斯 4 丹尼尔·利马·文图拉 三 卡洛斯·隆巴迪 2 爱德华多·博内利 2 罗德·德弗里杰尔 2 佩罗特,洛伊奇 2 皮埃尔小瓶 1 桑德拉·阿尔维斯 1 蒂鲍特·巴拉邦斯基 1 巴勃罗·巴伦鲍姆 1 布鲁诺·巴拉斯 1 布洛克-南内斯塔德,陶斯 1 卡瓦尔坎蒂·德·莫拉(Cavalcanti de Moura)、弗拉维奥·莱昂纳多(Flávio Leonardo) 1 约尔格恩德鲁利斯 1 Dan R.吉卡。 1 圣菲省格拉汉·伦格兰德 1 尼古拉斯,猜猜看 1 Helle Hvid Hansen先生 1 迪米特里·亨德里克斯 1 克里斯蒂娜·科尔 1 安托万·兰科 1 亚历克西斯·马丁 1 纪尧姆·梅尔金德 1 阿尔特·米德尔多普 1 皮埃尔·马里·佩德罗 1 安德鲁·波伦斯基 1 克劳迪奥·萨塞尔多蒂·科恩 1 亚历克西斯·索林 1 亚历山德拉·席尔瓦 1 安德烈斯·维索 5篇连载文章中引用 5 计算机科学中的逻辑方法 2 理论计算机科学 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 函数编程杂志 在3个字段中引用 22 计算机科学(68至XX) 17 数学逻辑和基础(03-XX) 1 一般代数系统(08-XX) 按年份列出的引文