编辑配置文件(在新选项卡中打开) 曼纽尔·克莱维尔 合著者距离 作者ID: 克莱夫·曼纽尔 发布日期: 曼纽尔·克莱维尔;M.克拉维尔。 已编制索引的文档: 22出版物自1996年以来,包括2本书 合著者: 19位合著者具有19联合出版物 375位合作作者 全部的 前5名合著者 3 单作者的 12 何塞·梅塞盖尔·瓜伊塔 9 马丁·奥列特,纳西索 8 弗朗西斯科·杜兰 8 史蒂文·艾克 8 帕特里克·D·林肯。 3 David A.Basin。 3 米盖尔·帕洛米诺 3 卡罗琳·塔尔科特。 2 JoséF.Quesada。 1 乔治·凯勒托德 1 达尼娅,卡罗来纳州 1 玛丽娜·埃加 1 圣地亚哥埃斯科瓦尔 1 米格尔·a·加西亚·德·迪奥斯。 1 C·吉勒默。 1 乔·亨德里克斯 1 Mesaguer,J。 1 冈萨洛·奥尔蒂斯 1 哈维尔·巴尔达佐 系列 3 理论计算机科学 1 国际塑性杂志 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 领域 19 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 可变形固体力学(74-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用513中的次356文件 引用人▼ 年份▼ 关于Maude——一个高性能逻辑框架。如何在重写逻辑中指定、编程和验证系统。带CD-ROM。 Zbl 1115.68046号 曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;帕特里克·林肯;马丁·奥列特,纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 213 2007 莫德:重写逻辑中的规范和编程。 Zbl 1001.68059号 M.克拉维尔。;F.杜兰。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。 82 2002 莫德2.0系统。 Zbl 1038.68559号 曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;帕特里克·林肯;马丁·奥列特,纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 47 2003 莫德原则。 Zbl 0912.68095号 M.克拉维尔。;艾克,S。;林肯,P。;梅塞盖尔,J。 30 1996 重写逻辑中的反射。元基础和元编程应用程序。 Zbl 1003.03032号 曼纽尔·克莱维尔 19 2000 条件重写逻辑中的反射。 Zbl 1001.68060号 曼纽尔·克莱维尔;何塞·梅塞盖尔 17 2002 重写逻辑中的反思和策略。 Zbl 0917.68107号 曼纽尔·克莱维尔;何塞·梅塞盖尔 17 1996 朝向莫德2号。0 Zbl 0962.68108号 克拉维尔,M。;杜兰,F。;艾克,S。;林肯,P。;Marti-Oliet,北卡罗来纳州。;梅塞盖尔,J。;奎萨达,J.F。 17 2000 Maude中的元级计算。 Zbl 0917.68024号 M.克拉维尔。;F.杜兰。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅塞盖尔,J。 13 1998 在成员关系等式逻辑、多种类型等式逻辑,具有等式的霍恩逻辑和重写逻辑中的反映。 Zbl 1111.03034号 曼纽尔·克莱维尔;何塞·梅塞盖尔;米盖尔·帕洛米诺 12 2007 部分规范的充分完整性推理工具。 Zbl 1078.68668号 乔·亨德里克斯;曼纽尔·克莱维尔;何塞·梅塞盖尔 10 2005 反思性的元逻辑框架。 Zbl 1407.03045号 戴维·巴恩斯;曼纽尔·克莱维尔;何塞·梅塞盖尔 10 2004 将逻辑重写为元逻辑框架。 Zbl 1044.03020号 戴维·巴恩斯;曼纽尔·克莱维尔;何塞·梅塞盖尔 7 2000 莫德语是一种元语言。 Zbl 0917.68106号 M.克拉维尔。;F.杜兰。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅萨格,J。;奎萨达,J.F。 4 1998 莫德的多型编程。 Zbl 0962.68030号 M.克拉维尔。;杜兰,F。;Marti-Oliet,北卡罗来纳州。 4 2000 一般逻辑、重写逻辑和莫德的反思。 Zbl 0917.68108号 曼纽尔·克莱维尔 3 1998 Maude的工作策略和用户界面。 Zbl 1270.68055号 曼纽尔·克莱维尔 3 2003 通过反射形式化和证明规范之间的语义关系。 Zbl 1108.68378号 曼纽尔·克莱维尔;马丁·奥列特,纳西索;米盖尔·帕洛米诺 2 2004 莫德二十年。 兹比尔1321.68007 曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;帕特里克·林肯;马丁·奥列特,纳西索;卡罗琳·塔尔科特 2 2015 在成员关系等式逻辑、多种类型等式逻辑,具有等式的霍恩逻辑和重写逻辑中的反映。 Zbl 1272.03137号 曼纽尔·克莱维尔;何塞·梅塞盖尔;米盖尔·帕洛米诺 1 2004 莫德二十年。 Zbl 1321.68007号 曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;帕特里克·林肯;马丁·奥列特,纳西索;卡罗琳·塔尔科特 2 2015 关于Maude——一个高性能逻辑框架。如何在重写逻辑中指定、编程和验证系统。带CD-ROM。 Zbl 1115.68046号 曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;帕特里克·林肯;马丁·奥列特,纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 213 2007 在成员关系等式逻辑、多种类型等式逻辑,具有等式的霍恩逻辑和重写逻辑中的反映。 Zbl 1111.03034号 曼纽尔·克莱维尔;何塞·梅塞盖尔;米盖尔·帕洛米诺 12 2007 部分规范的充分完整性推理工具。 Zbl 1078.68668号 乔·亨德里克斯;曼纽尔·克莱维尔;何塞·梅塞盖尔 10 2005 反思性的元逻辑框架。 Zbl 1407.03045号 戴维·巴恩斯;曼纽尔·克莱维尔;何塞·梅塞盖尔 10 2004 通过反射形式化和证明规范之间的语义关系。 Zbl 1108.68378号 曼纽尔·克莱维尔;马丁·奥列特,纳西索;米盖尔·帕洛米诺 2 2004 在隶属方程逻辑、多分类方程逻辑、具有等式的Horn逻辑和重写逻辑中的反思。 Zbl 1272.03137号 曼纽尔·克莱维尔;何塞·梅塞盖尔;米盖尔·帕洛米诺 1 2004 莫德2.0系统。 Zbl 1038.68559号 曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;帕特里克·林肯;马丁·奥列特,纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 47 2003 Maude的工作策略和用户界面。 Zbl 1270.68055号 曼纽尔·克莱维尔 3 2003 莫德:重写逻辑中的规范和编程。 Zbl 1001.68059号 M.克拉维尔。;F.杜兰。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。 82 2002 条件重写逻辑中的反射。 Zbl 1001.68060号 曼纽尔·克莱维尔;何塞·梅塞盖尔 17 2002 重写逻辑中的反射。元基础和元编程应用程序。 Zbl 1003.03032号 曼纽尔·克莱维尔 19 2000 朝向莫德2号。0 Zbl 0962.68108号 M.克拉维尔。;杜兰,F。;艾克,S。;林肯,P。;Marti-Oliet,北卡罗来纳州。;梅塞盖尔,J。;奎萨达,J.F。 17 2000 将逻辑重写为元逻辑框架。 Zbl 1044.03020号 戴维·巴恩斯;曼纽尔·克莱维尔;何塞·梅塞盖尔 7 2000 莫德的多型编程。 Zbl 0962.68030号 M.克拉维尔。;杜兰,F。;Marti-Oliet,北卡罗来纳州。 4 2000 Maude中的元级计算。 Zbl 0917.68024号 M.克拉维尔。;F.杜兰。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅塞盖尔,J。 13 1998 莫德语是一种元语言。 Zbl 0917.68106号 M.克拉维尔。;F.杜兰。;埃克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅萨格,J。;奎萨达,J.F。 4 1998 一般逻辑、重写逻辑和莫德的反思。 Zbl 0917.68108号 曼纽尔·克莱维尔 3 1998 莫德原则。 Zbl 0912.68095号 M.克拉维尔。;艾克,S。;林肯,P。;梅塞盖尔,J。 30 1996 重写逻辑中的反思和策略。 Zbl 0917.68107号 曼纽尔·克莱维尔;何塞·梅塞盖尔 17 1996 所有引用出版物 前5名被引用出版物 全部的 前5名394位作者引用 72 何塞·梅塞盖尔·瓜伊塔 33 马丁·奥列特,纳西索 30 萨尔瓦多卢卡斯 23 玛丽亚·阿尔普特 22 圣地亚哥埃斯科瓦尔 19 弗朗西斯科·杜兰 18 阿尔贝托·维尔德乔 17 卡罗琳·塔尔科特。 16 格里高·罗什乌 14 Peter Csaba,Olveczky 13 多雷尔·卢卡努 12 黛米斯·巴利斯 11 朱莉娅·萨皮娜 10 史蒂文·艾克 10 阿德里安·里斯科 9 埃纳尔·布罗赫·约翰森 9 奥维,奥拉夫 9 鲁宾·鲁比奥 8 劳尔·古铁雷斯 8 伊莎贝尔·皮塔 8 弗拉德·鲁苏 8 ☑特拉安·弗洛林(Traian Florin) 7 罗伯托·布鲁尼 7 曼纽尔·克莱维尔 7 高基町五指 7 Kazuhiro绪方 7 米盖尔·帕洛米诺 6 安德烈·阿鲁索艾 6 Frechina,弗朗西斯科 6 赫莱内·基什内尔 6 卡米洛·罗查 5 拉兹万·迪亚科内斯库 5 斯蒂芬·斯基里克 5 马克·奥利弗·斯特尔 5 马丁·威尔辛 4 拉斐尔·卡巴列罗(Rafael E.Caballero)。 4 乔治亚娜·卡尔泰斯 4 加布里埃尔·乔巴努 4 罗伯特·J·科尔文。 4 法比奥·加杜奇 4 帕特里克·D·林肯。 4 乌戈·蒙塔纳里。 4 蒂尔·莫萨科夫斯基 4 Vivek Nigam先生 4 鲁道夫·施拉特 3 阿勒科恩,比阿特丽兹 3 奥纳·安德烈 3 法哈德·阿尔巴 3 艾琳娜·莫瑞卡 3 阿黛尔·布胡拉 3 哈维尔·埃斯佩特 3 莫雷诺,法拉斯基 3 丹尼尔·加恩 3 托马斯·杰奈特 3 伊莎贝·格尼迪格 3 欧根·伊安·戈里亚克 3 克洛德·基什内尔 3 刘,思 3 卢赫·拉富恩特,阿尔贝托 3 克劳德·马奇 3 凯瑟琳·梅多斯。 3 彼得·莫塞斯(Peter D.Mosses)。 3 塞萨尔·穆尼奥斯。 3 弗洛里安·拉贝 3 安德烈·斯克洛夫 3 埃尔科·维瑟 2 路易斯·安东尼奥·阿吉雷 2 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 2 Bae,Kyungmin先生 2 塔贾纳Ban Kirigin 2 David A.Basin。 2 比约纳,迪内斯 2 阿图尔·博罗纳特 2 彼得·博罗万斯克 2 洛伦佐·卡普拉 2 伊利亚诺·塞维萨托 2 Horatiu西斯塔 2 米海·Codescu 2 德波尔,弗兰克·S。 2 Besik Dundua 2 楚其·埃里森 2 奥利维尔·菲索 2 斯特凡妮娅·格内西 2 伯恩哈德Gramlich 2 安德烈亚斯·格雷斯迈耶 2 格里戈拉什 2 何塞·伊波拉 2 Jean-Pierre Jouannaud 2 奥赞·卡拉马诺·乌拉尔 2 Max Iosifovich,卡诺维奇 2 迈克尔·凯特尔曼 2 理查德·基伯茨。 2 金敏英 2 伊曼纽尔·基泽尔曼 2 迈克尔·科尔哈斯 2 特默尔库西亚 2 拉尔夫·拉梅尔 2 本杰明·利昂 2 刘志强 2 克里斯托弗·林奇(Christopher A.Lynch)。 …还有294位作者 全部的 前5名32篇连载文章中引用 45 程序设计中的逻辑和代数方法杂志 39 理论计算机科学 15 信息与计算 14 逻辑与代数程序设计杂志 11 计算的形式方面 7 符号计算杂志 6 计算机程序设计科学 6 高阶和符号计算 5 自动推理杂志 5 逻辑程序设计理论与实践 3 信息处理信件 3 骨髓间充质干细胞。计算机科学中的数学结构 3 计算机基础理论 2 控制论与系统分析 2 系统设计中的形式化方法 2 计算机科学中的数学 1 信息学报 1 人工智能 1 应用数学与计算 1 计算机与系统科学杂志 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 函数编程杂志 1 数学与人工智能年鉴 1 LMS计算与数学杂志 1 计算机语言、系统和结构 1 应用逻辑杂志 1 泛逻辑 1 计算机科学中的逻辑方法 1 《大学学报》。Informatica公司 1 理论生物学杂志 1 膜计算杂志 全部的 前5名在14个字段中引用 349 计算机科学(68至XX) 76 数学逻辑和基础(03-XX) 12 信息与通信理论、电路(94-XX) 6 范畴理论;同调代数(18-XX) 4 生物学和其他自然科学(92-XX) 3 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 历史和传记(01-XX) 2 运筹学、数学规划(90-XX) 2 系统论;控制(93至XX) 1 组合数学(05-XX) 1 代数几何(14-XX) 1 偏微分方程(35-XX) 1 几何图形(51至XX) 1 数值分析(65-XX) 按年份列出的引文