编辑配置文件（在新选项卡中打开） Ruy JoséGuerra Barretto De Queiroz 合著者距离 作者ID： 德奎罗兹·鲁伊·何塞·格拉·巴雷托 发布日期： de Queiroz，Ruy J.G.B。；鲁伊·德·奎罗斯；Ruy JoséGuerra Barretto De Queiroz；鲁伊·德奎罗斯 更多。。。较少的 已编制索引的文档： 33出版物自1990年以来，包括1本书和2个附加arXiv预打印 57作为编辑的贡献·1进一步贡献 合著者： 46位合著者具有63联合出版物 1246名合作作者 全部的 前5名合著者 9 单作者的 15 德奥利维拉（de Oliveira）、安若琳娜·格里西（Anjolina Grisi） 6 乌尔里希·威廉·科伦巴赫 5 Dov M.加巴伊。 4 鲁安·卡瓦略（Ruan V.B.Carvalho）。 4 威尔弗里德·霍奇斯 三 拉伊斯·安德拉德 三 何塞·巴塞拉尔·阿尔梅达 三 巴勃罗·巴塞洛 三 列夫·贝克莱米舍夫。 三 瓦莱里亚·德·佩瓦 三 爱德华·赫尔曼·海尔 三 朱丽叶·卡拉·肯尼迪 三 丹尼尔·莱万特（Daniel M.Leivant）。 三 Leonid O·利金。 三 马丁内斯·里维拉斯（Martínez-Rivillas），丹尼尔·奥利维拉斯（Daniel O。 三 格里戈里·埃弗罗伊莫维奇造币厂 三 内尔玛·莫雷拉 三 劳伦斯·莫斯。 三 卢克·翁 三 拉莫斯、马库斯·维尼修斯·米德纳 三 安德烈·斯克洛夫 三 Väänänen，Jouko Antero 2 Gleifer V.阿尔维斯。 2 哈罗德·贝纳蒂。 2 帕特里克·塞吉尔斯基 2 阿努吉·达瓦尔 2 Makoto金泽 2 托马斯·斯蒂芬·爱德华·迈鲍姆 2 Maricarmen马丁内斯 2 小野，Hiroakira 2 伊莱恩·皮门特尔 2 阿瑟·拉莫斯。 2 亚历山德拉·席尔瓦 1 卡洛斯·阿雷塞斯 1 阿拉佐拉·拉米雷斯（Arrazola Ramírez）、何塞·拉蒙·恩里克（JoséRamón Enrique） 1 毛里西奥·阿亚拉·林科恩 1 约翰·鲍德温（John T.Baldwin）。 1 贝德雷加，本杰明·雷内·卡莱哈斯 1 泽维尔·凯塞多 1 沃尔特·亚历山大·卡尼埃利 1 阿加塔·西阿巴托尼 1 克劳迪娅·泽佩达·科尔特斯 1 所罗门·费弗曼 1 圣地亚哥菲格拉 1 卢西利亚·菲格雷多 1 马塞洛·芬格 1 Helle Hvid Hansen先生 1 奥萨·赫沃宁 1 罗莎莉，伊姆霍夫 1 Fairouz D.卡马雷丁。 1 德克斯特·C·科赞。 1 弗拉迪克·雅科夫列维奇 1 斯特芬·列维茨卡 1 弗拉基米尔·利夫希茨 1 迈克尔·穆尔特加特 1 莫斯，拉里 1 毛里西奥·奥索里奥·加林多 1 路易斯·卡洛斯·佩雷拉（Luiz Carlos P.D.Pereira）。 1 路易斯·卡洛斯·佩雷拉 1 马塞拉·奎斯佩·克鲁斯 1 梅赫努什·萨德扎德 1 齐格，威尔弗里德 1 雷娜塔·瓦瑟曼 全部的 前5名系列 25 IGPL逻辑杂志 15 计算机科学课堂讲稿 4 计算机与系统科学杂志 4 理论计算机科学电子笔记 三 理论计算机科学 三 逻辑科公报 三 数学逻辑档案 2 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 2 信息与计算 2 IGPL公告 2 IGPL杂志 1 符号逻辑杂志 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 1 逻辑、语言与信息杂志 1 当代马特马提卡 1 计算机基础理论 1 逻辑趋势——Studia Logica图书馆 1 逻辑的进展 1 形式化推理杂志 1 致敬 1 计算图书馆 全部的 前5名领域 81 数理逻辑与基础（03-XX） 61 计算机科学（68至XX） 54 总体主题；集合（00-XX） 三 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 代数拓扑（55-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 26出版物有被引用60中的次26文件 引用人▼ 年份▼ 将Curry-Howard解释扩展到线性、相关和其他资源逻辑。 兹比尔0765.03005 Dov M.加巴伊。；de Queiroz，Ruy J.G.B。 8 1992 模态必要性的功能解释。 Zbl 0911.03012号 de Queiroz，Ruy J.G.B。；Dov M.加巴伊。 5 1997 通过证明图进行演绎的几何。 Zbl 1036.03038号 德奥利维拉（de Oliveira）、安若琳娜·格里西（Anjolina Grisi）；de Queiroz，Ruy J.G.B。 4 2003 逻辑演绎的功能解释。 Zbl 1248.03003号 de Queiroz，Ruy J.G.B。；德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。；Dov M.加巴伊。 4 2012 含义、功能、目的、用途，后果–相互关联的概念。 Zbl 0989.03006号 de Queiroz，Ruy J.G.B。 4 2001 证明之间的一组新的基本转换。 Zbl 1272.03153号 德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。；de Queiroz，Ruy J.G.B。 三 2005 存在量词的功能解释。 兹比尔08310.30002 de Queiroz，Ruy J.G.B。；Dov M.加巴伊。 三 1995 关于约简规则、意义即用和证明理论语义。 Zbl 1162.03008号 de Queiroz，Ruy J.G.B。 三 2008 标记自然演绎方程式片段的归一化过程。 Zbl 0923.03064号 德奥利维拉（de Oliveira）、安若琳娜·格里西（Anjolina Grisi）；de Queiroz，Ruy J.G.B。 三 1999 关于无语境语言理论的一些结果的形式化。 Zbl 1478.68133号 拉莫斯、马库斯·维尼修斯·米德纳；de Queiroz，Ruy J.G.B。；内尔玛·莫雷拉；何塞·卡洛斯·巴塞拉·阿尔梅达 三 2016 证明理论和计算机编程。 Zbl 0691.03042号 de Queiroz，Ruy J.G.B。；托马斯·S·E·迈鲍姆。 三 1990 标记为自然扣除。 Zbl 0954.03008号 de Queiroz，Ruy J.G.B。；Dov M.加巴伊。 三 1999 证明、分类和计算。纪念格里戈里造币厂的文章。与弗拉基克·克雷诺维奇、弗拉基米尔·利夫希茨和鲁伊·德·奎罗斯合作。 Zbl 1203.03007号 2 2010 平等的自然演绎：缺失的实体。 兹比尔1339.03052 de Queiroz，Ruy J.G.B。；德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。 2 2014 \（infty）-由任意拓扑（lambda）-模型生成的广群体。 Zbl 1494.03033号 马丁内斯·里维拉斯（Martínez-Rivillas），丹尼尔·奥利维拉斯（Daniel O。；de Queiroz，Ruy J.G.B。 2 2022 逻辑、语言、信息和计算。2011年5月18日至20日，美国宾夕法尼亚州费城WoLLIC 2011第18届国际研讨会。诉讼程序。 Zbl 1214.03002号 1 2011 通过几何透视技术进行变换，并增加循环归一化。 Zbl 1246.03071号 Gleifer V.阿尔维斯。；德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。；鲁伊·德·奎罗斯 1 2009 通过子图对\（n\）-图进行序列化。 Zbl 1430.03072号 鲁安·卡瓦略；拉伊斯·安德拉德；安若琳娜·德·奥利维拉；鲁伊·德·奎罗斯 1 2014 直观的N图。 Zbl 1328.03054号 马塞拉·奎斯佩·克鲁斯；德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。；de Queiroz，Ruy J.G.B。；瓦莱里亚·德·佩瓦 1 2014 N图的线性时间证明：图论方法。 Zbl 1394.03018号 拉伊斯·安德拉德；鲁安·卡瓦略；安若琳娜·德·奥利维拉；鲁伊·德·奎罗斯 1 2013 逻辑、语言、信息和计算。第21届国际研讨会，WoLLIC 2014，智利瓦尔帕拉索，2014年9月1日至4日。诉讼程序。 Zbl 1295.03005号 1 2014 抽象数据类型和类型理论：作为类型的理论。 兹比尔0701.68078 de Queiroz，Ruy J.G.B。；托马斯·S·E·迈鲍姆。 1 1991 走向同伦域理论。 Zbl 07680036号 马丁内斯·里维拉斯（Martínez-Rivillas），丹尼尔·奥利维拉斯（Daniel O。；de Queiroz，Ruy J.G.B。 1 2023 将标识类型作为计算路径的类型。 Zbl 1405.03024号 阿瑟·拉莫斯。；de Queiroz，Ruy J.G.B。；德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。 1 2017 纹理证明：彻底的循环处理、归一化和子公式属性。 Zbl 1252.03126号 Gleifer V.阿尔维斯。；德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。；鲁伊·德·奎罗斯 1 2011 逻辑、语言、信息和计算。2018年7月24日至27日在哥伦比亚波哥大举行的2018年WoLLIC第25届国际研讨会。诉讼程序。 Zbl 1391.03009号 1 2018 趋向于一个同伦论域理论。 Zbl 07680036号 马丁内斯·里维拉斯（Martínez-Rivillas），丹尼尔·奥利维拉斯（Daniel O。；de Queiroz，Ruy J.G.B。 1 2023 \（infty）-由任意拓扑（lambda）-模型生成的广群体。 Zbl 1494.03033号 马丁内斯·里维拉斯（Martínez-Rivillas），丹尼尔·奥利维拉斯（Daniel O。；de Queiroz，Ruy J.G.B。 2 2022 逻辑、语言、信息和计算。2018年7月24日至27日在哥伦比亚波哥大举行的2018年WoLLIC第25届国际研讨会。诉讼程序。 Zbl 1391.03009号 1 2018 关于计算路径类型的同一类型。 Zbl 1405.03024号 阿瑟·拉莫斯。；de Queiroz，Ruy J.G.B。；德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。 1 2017 关于无语境语言理论的一些结果的形式化。 Zbl 1478.68133号 拉莫斯、马库斯·维尼修斯·米德纳；de Queiroz，Ruy J.G.B。；内尔玛·莫雷拉；何塞·卡洛斯·巴塞拉·阿尔梅达 三 2016 平等的自然演绎：缺失的实体。 Zbl 1339.03052号 de Queiroz，Ruy J.G.B。；德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。 2 2014 通过子图对\（n\）-图进行序列化。 Zbl 1430.03072号 鲁安·卡瓦略；拉伊斯·安德拉德；安若琳娜·德·奥利维拉；鲁伊·德·奎罗斯 1 2014 直观的N图。 Zbl 1328.03054号 马塞拉·奎斯佩·克鲁斯；德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。；de Queiroz，Ruy J.G.B。；瓦莱里亚·德·佩瓦 1 2014 逻辑、语言、信息和计算。第21届国际研讨会，WoLLIC 2014，智利瓦尔帕拉索，2014年9月1日至4日。诉讼程序。 Zbl 1295.03005号 1 2014 N图上的线性时间证明验证：一种图论方法。 Zbl 1394.03018号 拉伊斯·安德拉德；鲁安·卡瓦略；安若琳娜·德·奥利维拉；鲁伊·德·奎罗斯 1 2013 逻辑演绎的功能解释。 Zbl 1248.03003号 de Queiroz，Ruy J.G.B。；德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。；Dov M.加巴伊。 4 2012 逻辑、语言、信息和计算。2011年5月18日至20日，美国宾夕法尼亚州费城WoLLIC 2011第18届国际研讨会。诉讼程序。 Zbl 1214.03002号 1 2011 纹理证明：彻底的循环处理、归一化和子公式属性。 Zbl 1252.03126号 Gleifer V.阿尔维斯。；德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。；鲁伊·德·奎罗斯 1 2011 证明、分类和计算。纪念格里戈里造币厂的文章。与弗拉基克·克雷诺维奇、弗拉基米尔·利夫希茨和鲁伊·德·奎罗斯合作。 兹比尔1203.03007 2 2010 通过几何透视技术和循环规范化进行变换。 Zbl 1246.03071号 Gleifer V.阿尔维斯。；德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。；鲁伊·德·奎罗斯 1 2009 关于约简规则、意义即用和证明理论语义。 Zbl 1162.03008号 de Queiroz，Ruy J.G.B。 三 2008 证明之间的一组新的基本转换。 兹比尔1272.03153 德奥利维拉（de Oliveira）、安朱丽娜（Anjolina G.）。；de Queiroz，Ruy J.G.B。 三 2005 通过证明图进行演绎的几何。 Zbl 1036.03038号 德奥利维拉（de Oliveira）、安若琳娜·格里西（Anjolina Grisi）；de Queiroz，Ruy J.G.B。 4 2003 含义、功能、目的、用途，后果–相互关联的概念。 Zbl 0989.03006号 de Queiroz，Ruy J.G.B。 4 2001 标记自然演绎方程式片段的归一化过程。 Zbl 0923.03064号 德奥利维拉（de Oliveira）、安若琳娜·格里西（Anjolina Grisi）；de Queiroz，Ruy J.G.B。 三 1999 标记为自然扣除。 Zbl 0954.03008号 de Queiroz，Ruy J.G.B。；Dov M.加巴伊。 三 1999 模态必要性的功能解释。 Zbl 0911.03012号 de Queiroz，Ruy J.G.B。；Dov M.加巴伊。 5 1997 存在量词的功能解释。 Zbl 0831.03002号 de Queiroz，Ruy J.G.B。；Dov M.加巴伊。 三 1995 将库里-霍华德的解释扩展到线性、相关和其他资源逻辑。 Zbl 0765.03005号 Dov M.加巴伊。；de Queiroz，Ruy J.G.B。 8 1992 抽象数据类型和类型理论：作为类型的理论。 Zbl 0701.68078号 de Queiroz，Ruy J.G.B。；托马斯·S·E·迈鲍姆。 1 1991 证明理论和计算机编程。 Zbl 0691.03042号 de Queiroz，Ruy J.G.B。；托马斯·S·E·迈鲍姆。 三 1990 所有引用的出版物 前5名被引用出版物 全部的 前5名被42位作者引用 8 Ruy JoséGuerra Barretto De Queiroz 三 德奥利维拉（de Oliveira）、安若琳娜·格里西（Anjolina Grisi） 2 马丁内斯·里维拉斯（Martínez-Rivillas），丹尼尔·奥利维拉斯（Daniel O。 2 安德烈亚·马西尼 1 娜塔莎·亚历奇纳 1 拉伊斯·安德拉德 1 卡洛·安吉利 1 何塞·巴塞拉尔·阿尔梅达 1 斯特凡诺·巴拉泰拉 1 乔瓦尼·博尼奥洛 1 托本·布吕纳 1 鲁安·卡瓦略（Ruan V.B.Carvalho）。 1 达戈斯蒂诺，马塞洛 1 瓦莱里亚·德·佩瓦 1 博格丹·迪彻 1 Doder，德拉甘 1 Dov M.加巴伊。 1 列夫·戈迪夫 1 爱德华·赫尔曼·海尔 1 罗伯特·哈珀 1 丹，赫尼斯特 1 多米尼克·J·D·休斯。 1 马塞尔·马雷蒂奇 1 西蒙·马提尼 1 迈克尔·门德勒 1 彼得·米尔恩 1 内尔玛·莫雷拉 1 佐兰·奥格尼亚诺维奇 1 弗朗西斯科·保利 1 伊沃·佩兹拉 1 马里奥广场 1 卡尔·波拉德 1 加布里埃尔·普奇尼 1 马塞拉·奎斯佩·克鲁斯 1 拉克拉夫斯克，吉伊 1 拉莫斯、马库斯·维尼修斯·米德纳 1 内纳德·萨维奇 1 斯蒂芬·谢勒 1 Tranchini，卢卡 1 Trifonov、Trifon A。 1 范兰巴金、米歇尔·玛丽安·米歇尔 1 玛格丽塔·佐齐 全部的 前5名14篇连载文章中引用 2 符号逻辑杂志 2 合成 2 逻辑科公报 2 应用逻辑杂志 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 国际近似推理杂志 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 数学通信 1 逻辑与逻辑哲学 1 计算机科学中的逻辑方法 1 欧洲科学哲学杂志 在5个字段中引用 25 数理逻辑与基础（03-XX） 4 计算机科学（68至XX） 1 组合数学（05-XX） 1 代数拓扑（55-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文