莫德 swMATH ID: 6233 软件作者： Clavel，M。；杜兰，F。；埃克，S。；林肯，P。；新墨西哥州马丁·奥列特。；莫德团队 描述： Maude是一种高性能反射语言和系统，支持方程式和重写逻辑规范以及广泛应用程序的编程。莫德受到了OBJ3语言的重要影响，OBJ3可以被视为等式逻辑子语言。除了支持等式规范和编程外，Maude还支持重写逻辑计算。 主页： http://maude.cs.uiuc.edu/overview.html 相关软件： OBJ咖啡馆；OBJ3型；ELAN公司；哈斯克尔；Coq公司；套管，套管；K校准仪；ITP公司；PMaude公司；西洋陆军棋；莫德-NPA；AProVE公司；MTT公司；爪哇风扇；自旋蛋白；PVS公司；PVeStA公司；伊莎贝尔/HOL；伊莎贝尔；D装货商 引用于： 646文件 标准条款 4出版物描述软件，包括4出版物以zbMATH为单位 年份 Maude 3.2（系统描述）中的等式统一和匹配以及符号可达性分析。 Zbl 07628207号弗朗西斯科·杜兰；史蒂文·艾克；圣地亚哥埃斯科瓦尔；马蒂·奥利特，纳西索；何塞·梅塞盖尔；鲁本·卢比奥；卡罗琳·塔尔科特 2022 关于Maude——一个高性能逻辑框架。如何在重写逻辑中指定、编程和验证系统。带CD-ROM。 Zbl 1115.68046号曼纽尔·克莱维尔；弗朗西斯科·杜兰；史蒂文·艾克；帕特里克·林肯；马蒂·奥利特，纳西索；何塞·梅塞盖尔；卡罗琳·塔尔科特 2007 莫德：重写逻辑中的规范和编程。 Zbl 1001.68059号M.克拉维尔。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。 2002 走向莫德2号。0 Zbl 0962.68108号M.克拉维尔。；杜兰，F。；艾克，S。；林肯，P。；Marti-Oliet，北卡罗来纳州。；梅塞盖尔，J。；J.F.奎萨达。 2000 全部的 前5名655位作者引用 148 何塞·梅塞盖尔·瓜伊塔 49 马蒂·奥利特，纳西索 47 格里高·罗什乌 39 圣地亚哥埃斯科瓦尔 35 玛丽亚·阿尔普恩特 35 弗朗西斯科·杜兰 32 萨尔瓦多卢卡斯 28 卡罗琳·塔尔科特。 28 阿尔贝托·维尔德乔 24 多雷尔·卢卡努 22 Peter Csaba，Olveczky 20 史蒂文·艾克 19 黛米斯·巴利斯 19 曼纽尔·克莱维尔 17 阿德里安·里斯科 17 朱莉娅·萨皮娜 14 埃纳尔·布罗赫·约翰森 14 伊莎贝尔·皮塔 13 罗伯托·布鲁尼 13 Kazuhiro绪方 13 Owe、Olaf 13 米盖尔·帕洛米诺 13 卡米洛·罗查 12 赫莱内·基什内尔 11 加布里埃尔·乔巴努 11 Şerbănuţă，特拉恩·弗洛林 10 劳尔·古铁雷斯 10 弗拉德·鲁苏 10 马克·奥利弗·斯特尔 9 帕特里克·D·林肯。 9 乌戈·蒙塔纳里。 9 鲁本·卢比奥 9 马丁·威尔辛 8 高基町五指 7 奥纳·安德烈 7 安德烈·阿鲁索艾 7 弗朗西斯科·弗雷奇纳 6 莫雷诺，法拉斯基 6 Vivek Nigam先生 6 安德烈·斯切德罗夫 5 艾琳娜·莫瑞卡 5 乔治亚娜·卡尔泰斯 5 伊利亚诺·塞维萨托 5 德波尔（Frank S。 5 拉兹万·迪亚科内斯库 5 伊莎贝尔·格内迪格 5 克洛德·基什内尔 5 刘，思 5 凯瑟琳·梅多斯。 5 彼得·莫塞斯（Peter D.Mosses）。 5 塞萨尔·穆尼奥斯。 5 斯蒂芬·斯基里克 5 安德烈·特夫内斯库 5 普拉桑纳·塔蒂 4 阿勒科恩，比阿特丽兹 4 Bae，Kyungmin先生 4 马西莫·巴托莱蒂 4 David A.Basin。 4 克里斯蒂亚诺·布拉加 4 拉斐尔·E·卡巴列罗。 4 霍雷修·西尔斯泰 4 安吉尔·昆卡-奥尔特加 4 Denker，砂砾 4 阿扎德法尔赞 4 法比奥·加杜奇 4 丹尼尔·加恩 4 托马斯·杰奈特 4 欧根·伊安·戈里亚克 4 奥赞·卡拉马诺·乌拉尔 4 迪帕克·卡普尔 4 奥斯卡·马汀 4 胡安·罗德里格斯·霍塔拉 三 加布里埃尔·阿奎莱拉 三 法哈德·阿尔巴 三 作为阿沃，米哈伊尔 三 阿塞特夫·诺艾，勒克雷米奥拉 三 阿黛尔·布胡拉 三 Ciobâcă，沙特凡 三 罗伯特·J·科尔文。 三 哈维尔·埃斯佩特 三 斯蒂芬·福克 三 奥利维尔·菲索 三 北卡罗来纳州哈曼。 三 克劳斯·哈维隆德 三 乔·亨德里克斯 三 何塞·伊波拉 三 Jean-Pierre Jouannaud 三 迈克尔·凯特尔曼 三 金敏英 三 亚历山大·纳普 三 乌尔里克·莱什内尔 三 李国强 三 阿尔贝托·卢什·拉富恩特 三 克劳德·马奇 三 皮埃尔·埃蒂安·莫罗 三 蒂尔·莫萨科夫斯基 三 佩雷斯（Jorge A.Pérez）。 三 任尚平 三 迪利亚·E·罗德里格斯。 三 丹尼尔·罗梅罗（Daniel M.Romero）。 …和555多位作者 全部的 前5名52篇连载文章被引用 51 程序设计中的逻辑和代数方法杂志 45 理论计算机科学 17 计算的形式方面 16 逻辑与代数程序设计杂志 15 信息与计算 11 计算机程序设计科学 8 计算机基础理论 7 逻辑程序设计理论与实践 6 符号计算杂志 6 高阶和符号计算 5 自动推理杂志 4 MSCS公司。计算机科学中的数学结构 4 计算机科学中的逻辑方法 三 信息处理信件 三 系统设计中的形式化方法 2 Studia Logica公司 2 国际计算机科学基础杂志 2 控制论与系统分析 2 函数编程杂志 2 数学与人工智能年鉴 2 IGPL逻辑杂志 2 计算机语言、系统和结构 2 计算机科学课堂讲稿 2 计算机科学中的数学 1 信息学报 1 人工智能 1 应用数学与计算 1 Automatica公司 1 模糊集与系统 1 计算机与系统科学杂志 1 编程和计算机软件 1 算法杂志 1 控制论与系统 1 数据与知识工程 1 逻辑与计算杂志 1 国际计算机数学杂志 1 模式识别 1 Anale tiințifice ale University \539'ii Al.I.Cuza din IașI。努瓦里。信息化 1 Informatica（卢布尔雅那） 1 LMS计算与数学杂志 1 国际应用数学与计算机科学杂志 1 自然计算 1 应用逻辑杂志 1 理论计算机科学电子笔记 1 塔尔图大学数学学位论文 1 人工智能基础 1 泛逻辑 1 理论生物学杂志 1 SpringerBriefs优化 1 计算机科学本科专题 1 理论计算机科学专著。EATCS系列 1 膜计算杂志 全部的 前5名16个领域引用 628 计算机科学（68至XX） 125 数学逻辑和基础（03-XX） 21 信息与通信理论、电路（94-XX） 12 生物学和其他自然科学（92-XX） 8 范畴理论；同调代数（18-XX） 8 系统论；控制（93至XX） 6 一般代数系统（08-XX） 5 运筹学、数学规划（90-XX） 4 总体主题；集合（00-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 历史和传记（01-XX） 2 统计学（62-XX） 1 组合数学（05-XX） 1 代数几何（14-XX） 1 特殊功能（33至XX） 1 几何图形（51至XX） 按年份列出的引文