编辑配置文件（在新选项卡中打开） 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 合著者距离 作者ID： 德尔卡门-冈萨雷斯-胡斯卡 发布日期： 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;González Huesca，Lourdes del Carmen酒店;González-Huesca，Lourdes Del Carmen 更多。。。较少的 已编制索引的文档： 12出版物自2009年起 合著者： 15位合著者具有12联合出版物 176联合作者 全部的 前5名合著者 0 单作者的 9 米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 5 利纳雷斯·阿雷瓦洛（Linares Arévalo）、皮拉尔·塞莱恩（Pilar Selene） 2 雷吉斯·贾纳斯，亚恩 1 布鲁诺·巴拉斯 1 红葡萄酒、纪尧姆 1 雨果·赫贝林 1 奥尔特加·阿尔乔纳，豪尔赫·路易斯 1 卡拉·拉米雷斯·普利多 1 Reyes Cabello、Araceli Liliana 1 Reyes Cabello、Aracelli Liliana 1 拉斐尔·雷耶斯·桑切斯 1 恩里科·塔西 1 马卡里乌斯·温泽尔 1 沃尔夫，伯克哈特 1 贝塔·齐利安尼 系列 1 MSCS公司。计算机科学中的数学结构 1 应用非经典逻辑杂志 1 IGPL逻辑杂志 字段 9 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 1 一般代数系统（08-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用13中的次11文件 引用人▼ 年份▼ 使用有效计算的后验模拟通过反射进行轻型验证。 Zbl 1317.68205号 红葡萄酒、纪尧姆;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;雷吉斯·贾纳斯，亚恩;贝塔·齐利安尼 5 2013 公理和对偶系统用于构造必要性，一种经过正式验证的等价性。 Zbl 1444.03054号 González Huesca，Lourdes del Carmen酒店;Miranda-Perea，Favio E。;Linares-Arévalo，P.Selene 4 2019 Mendler风格的iso-（co）归纳谓词：一种强规范化方法。 Zbl 1458.68039号 法维奥·埃泽基尔·米兰达·佩雷亚;González-Huesca，Lourdes Del Carmen 1 2012 高度可信的交互式定理证明系统中的普遍并行性。 Zbl 1390.68571号 布鲁诺·巴拉斯;德尔·卡门·冈萨雷斯·韦斯卡，卢尔德;雨果·赫贝林;雷吉斯·贾纳斯，亚恩;恩里科·塔西;马卡里乌斯·温泽尔;沃尔夫，伯克哈特 1 2013 构造S4的对偶和公理系统，正式验证的等价性。 Zbl 1495.03032号 德尔·卡门·冈萨雷斯·韦斯卡，卢尔德;米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel）;Linares Arévalo，P.赛琳 1 2020 论建构主义模态必要性的交互证明研究。 Zbl 07516363号 Miranda-Perea，Favio E。;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;Linares-Arévalo，P.Selene 1 2020 构造S4的对偶和公理系统，正式验证的等价性。 Zbl 1495.03032号 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel）;Linares-Arévalo，P.Selene 1 2020 论建构主义模态必要性的交互证明研究。 Zbl 07516363号 Miranda-Perea，Favio E。;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;Linares-Arévalo，P.Selene 1 2020 公理和对偶系统用于构造必要性，一种经过正式验证的等价性。 Zbl 1444.03054号 González Huesca，Lourdes del Carmen酒店;Miranda-Perea，Favio E。;Linares-Arévalo，P.Selene 4 2019 使用有效计算的后验模拟通过反射进行轻型验证。 Zbl 1317.68205号 红葡萄酒、纪尧姆;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;雷吉斯·贾纳斯，亚恩;贝塔·齐利安尼 5 2013 高度可信的交互式定理证明系统中的普遍并行性。 Zbl 1390.68571号 布鲁诺·巴拉斯;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;雨果·赫贝林;雷吉斯·贾纳斯，亚恩;恩里科·塔西;马卡里乌斯·温泽尔;沃尔夫，伯克哈特 1 2013 Mendler风格的iso-（co）归纳谓词：一种强规范化方法。 Zbl 1458.68039号 法维奥·埃泽基尔·米兰达·佩雷亚;González-Huesca，Lourdes Del Carmen 1 2012 所有引用出版物 前5名被引用出版物 全部的 前5名21位作者引用 三 路易斯·克鲁兹·菲利佩 三 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 三 利纳雷斯·阿雷瓦洛（Linares Arévalo）、皮拉尔·塞莱恩（Pilar Selene） 三 米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 三 彼得·施奈德·坎普 2 金·斯卡·拉森 2 Ziliani，贝塔 1 杰斯珀·本特森 1 乌尔里希·伯杰 1 布兰登·伯勒 1 德里克·德雷尔（Derek R.Dreyer）。 1 劳尔·费尔瓦里 1 内森·富尔顿 1 侯铁 1 克里希纳斯瓦米，尼拉坎坦·R。 1 格雷戈里·马莱查 1 斯特凡·米奇 1 阿列克桑达尔·纳内夫斯基 1 安德烈·普拉泽 1 弗朗西斯科·特鲁科 1 维克托·瓦菲亚迪斯 4篇连载文章中引用 2 MSCS公司。计算机科学中的数学结构 1 自动推理杂志 1 函数编程杂志 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 9 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的引文