编辑配置文件(在新选项卡中打开) 路易斯·达马斯 合著者距离 作者ID: 达马斯·卢斯 发布日期: 路易斯·达马斯;路易斯·达马斯;达马斯,L。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 13出版物自1997年起 2作为编辑的贡献 合著者: 10位合著者具有15联合出版物 193位合作作者 全部的 前5名合著者 0 单作者的 10 萨宾·布罗达 2 米盖尔·菲尔盖拉斯 1 维托尔·桑托斯·科斯塔 1 米歇尔·费雷拉 1 马塞洛·芬格 1 马里奥弗洛里多 1 内尔玛·莫雷拉 1 里卡多·罗查 1 保罗·席尔瓦 1 Tomás、Ana Paula 全部的 前5名系列 2 理论计算机科学 2 函数编程杂志 2 计算机科学课堂讲稿 1 符号逻辑杂志 1 逻辑与计算杂志 1 计算机基础理论 1 逻辑程序设计理论与实践 领域 9 数学逻辑和基础(03-XX) 8 计算机科学(68至XX) 2 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物被引用52次46文件 引用人▼ 年份▼ YAP序言系统。 Zbl 1244.68017号 维托尔·桑托斯·科斯塔;里卡多·罗查;路易斯·达马斯 25 2012 在一种类型的长期正常居民身上。 兹比尔1086.03011 萨宾·布罗达;路易斯·达马斯 11 2005 λ-积分的线性化及其与交叉型系统的关系。 Zbl 1104.68012号 马里奥弗洛里多;路易斯·达马斯 5 2004 计算一个类型的主要居民。(扩展摘要)。 Zbl 0932.03015号 萨宾·布罗达;路易斯·达马斯 2 1999 组合逻辑中的紧凑括号抽象。 Zbl 0894.03007号 萨宾·布罗达;路易斯·达马斯 2 1997 逻辑片段的可判定性。 Zbl 1044.03005号 萨宾·布罗达;路易斯·达马斯;马塞洛·芬格;保罗·席尔瓦 2 2004 计算一个类型的(主要)居民。 Zbl 0971.03019号 萨宾·布罗达;路易斯·达马斯 2 2001 研究蕴涵直觉逻辑中的可证明性:公式树方法。 兹比尔1261.03067 萨宾·布罗达;路易斯·达马斯 1 2002 文本中类型的正常居民的无上下文语法表示{助教}_\λ\)。 Zbl 1053.03010号 萨宾·布罗达;路易斯·达马斯 1 2001 关于组合适当组合子的完备集。 Zbl 0918.03011号 萨宾·布罗达;路易斯·达马斯 1 1997 YAP prolog系统。 Zbl 1244.68017号 维托尔·桑托斯·科斯塔;里卡多·罗查;路易斯·达马斯 25 2012 在一种类型的长期正常居民身上。 Zbl 1086.03011号 萨宾·布罗达;路易斯·达马斯 11 2005 λ-积分的线性化及其与交叉型系统的关系。 Zbl 1104.68012号 马里奥弗洛里多;路易斯·达马斯 5 2004 \(\text{BB}'\text{IW}\)-逻辑片段的可判定性。 Zbl 1044.03005号 萨宾·布罗达;路易斯·达马斯;马塞洛·芬格;保罗·席尔瓦 2 2004 研究蕴涵直觉逻辑中的可证明性:公式树方法。 Zbl 1261.03067号 萨宾·布罗达;路易斯·达马斯 1 2002 计算一个类型的(主要)居民。 兹伯利0971.03019 萨宾·布罗达;路易斯·达马斯 2 2001 文本中类型的正常居民的无上下文语法表示{助教}_\λ\)。 Zbl 1053.03010号 萨宾·布罗达;路易斯·达马斯 1 2001 计算一个类型的主要居民。(扩展摘要)。 Zbl 0932.03015号 萨宾·布罗达;路易斯·达马斯 2 1999 组合逻辑中的紧凑括号抽象。 Zbl 0894.03007号 萨宾·布罗达;路易斯·达马斯 2 1997 关于组合适当组合子的完备集。 Zbl 0918.03011号 萨宾·布罗达;路易斯·达马斯 1 1997 所有引用出版物 前5名被引用出版物 全部的 前5名75位作者引用 5 桑德拉·阿尔维斯 5 汤姆·施里杰弗斯 4 马里奥弗洛里多 4 里卡多·罗查 三 埃琳娜·贝洛迪 三 萨宾·布罗达 三 维托尔·桑托斯·科斯塔 三 伯努瓦·德绍尔 三 法布里西奥·里古齐 2 尼科斯·安杰洛普洛斯 2 巴特·德梅恩 2 安德烈·杜登赫夫纳 2 埃斯皮里托·桑托(Espírito Santo)、何塞·卡洛斯(JoséCarlos) 2 曼努埃尔五世(Manuel V.Hermenegildo)。 2 Michael Leuschel先生 2 拉尔夫·马提斯 2 鲁伊斯·平托(Luís F.Pinto)。 2 雅各布·雷霍夫 2 亚历山大·范登布鲁克 2 丹尼尔·利马·文图拉 2 Wielemaker,简 1 萨默尔·阿卜杜拉。 1 萨尔瓦多阿布雷乌 1 佩德罗·安吉洛 1 米盖尔·阿雷亚斯 1 华金·阿里亚斯 1 皮埃尔·布罗 1 布雷迪,罗斯·托马斯 1 安东尼奥·布恰雷利 1 马丁·邦德。 1 曼纽尔·卡罗 1 乔瓦尼·西亚托 1 法布里西奥·科斯塔 1 朱塞佩·科塔 1 安德鲁·克洛珀 1 库卡斯·扎伊卡 1 维罗妮卡·达尔 1 路易斯·达马斯 1 库尔特·德·格雷夫 1 吕克·德·雷德 1 尼古拉·迪·毛罗 1 丹尼尔·迪亚兹 1 阿戈斯蒂诺·多维尔 1 Gilles Dowek 1 安德烈亚·福米萨诺 1 保罗·弗雷斯科尼 1 盖尔·乌斯,大卫 1 乔治·贾马斯 1 戈帕尔·古普塔 1 蒋莹 1 塞萨里·卡利西克 1 迪莉娅·凯斯纳 1 迈克尔·基弗 1 菲利普·科纳 1 法律,Mark M。 1 梁森林 1 曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos) 1 何塞·弗朗西斯科·莫拉莱斯 1 保罗·莫拉 1 文森特·帕多瓦尼 1 阿琳·佩斯 1 马西耶·皮罗格 1 恩里科·蓬泰利 1 西尔万·萨尔瓦蒂 1 理查德·斯塔特曼 1 Swift,Terrance公司 1 保罗·塔劳 1 马库斯·特里斯卡 1 巴威·乌尔兹琴 1 马尔科·范杜伦 1 彼得·范·威特 1 沃伦、大卫·斯科特 1 皮特·威勒 1 格尔森·扎维鲁查 1 里卡多·泽斯 全部的 前5名15篇连载文章中引用 13 逻辑程序设计理论与实践 三 机器学习 2 国际近似推理杂志 2 MSCS公司。计算机科学中的数学结构 1 人工智能 1 信息处理信件 1 符号逻辑杂志 1 Studia Logica公司 1 理论计算机科学 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 自动推理杂志 1 符号逻辑公报 1 计算机基础理论 在5个字段中引用 34 计算机科学(68至XX) 18 数学逻辑和基础(03-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文