CiME公司 swMATH编号: 9970 软件作者: 埃维琳·孔特让、克劳德·马奇、安德烈·帕斯科维奇、泽维尔·乌尔班 描述: CiME是一个重写工具箱。自1996年以来以开源形式在URL上发布http://cime.lri.fr . 除了几十个用户之外,CiME还被用作其他工具的后端,例如由比勒费尔德大学Enno Ohlebusch开发的用于终止逻辑程序的TALP工具;MU-TERM工具(http://www.dsic.upv.es/slucas/csr/termination/muterm/)用于终止上下文敏感重写;CARIBOO工具(由INRIA Nancy Grand-Est开发),用于根据策略终止重写;和MTT工具(网址:http://www.lcc.uma.es/duran/MTT/)终止Maude程序。不再维护CiME2,当前开发的版本是CiME3,可在http://a3pat.ensie.fr/pub . CiME3的主要新特点是产生微量Coq。CiME3也是由CNAM A3PAT项目的参与者开发的,并根据Cecill-C许可证进行分发。 主页: https://raweb.inria.fr/rapportsactivite/RA2010/椭圆/uid32.html 相关软件: AProVE公司;蒂罗尔(Tyrolean);Coq公司;CeTA公司;CoLoR公司;多终端;伊莎贝尔/HOL;莫德;犯罪现场调查;z3(零3);火柴盒;版次;伊莎贝尔;Yices公司;OBJ3型;哈斯克尔;TPDB公司;筑波;托尔帕;OBJ咖啡馆 引用于: 38文件 全部的 前5名68位作者引用 6 萨尔瓦多卢卡斯 5 伊芙琳·孔特让 5 彼得·施奈德·坎普 5 泽维尔·乌尔班 4 克劳德·马奇 4 阿尔特·米德尔多普 4 朱利安·纳格尔 4 汉斯·赞特马 3 马克·布罗克施米特 3 Courtieu,Pierre皮埃尔 3 伯特伦·费尔根豪尔 3 朱利安·福雷斯特 3 弗洛里安·弗洛恩 3 卡斯滕·福斯 3 吉尔根·吉斯尔 3 托马斯·斯特罗德 3 哈拉尔德·赞克 2 科尼利厄斯·阿斯切尔曼 2 路易斯·克鲁兹·菲利佩 2 费边·埃姆斯 2 阿尔芬斯·盖瑟 2 赫塞尔,杰拉 2 迪特尔·霍夫鲍尔 2 何塞·梅塞盖尔·瓜伊塔 2 卡斯滕·奥托 2 马丁·普吕克 2 斯蒂芬妮·斯威德斯基 2 雷内·蒂曼 2 约翰内斯·沃尔德曼 1 毛里西奥·阿亚拉·林科恩 1 Domagoj Babić 1 马修·波德特 1 贾斯敏·克里斯蒂安·布兰切特 1 克里斯蒂娜·博拉莱拉斯 1 安妮·格温·博瑟 1 阿黛尔·布胡拉 1 马克·卡瓦扎 1 杰切克·克尔兹 1 拜伦·库克 1 皮埃尔·科尔比诺 1 维罗尼克·科尔蒂尔 1 弗朗西斯科·杜兰 1 玛丽贝尔·费尔南德斯 1 Nao Hirokawa 1 胡亚伦·J·。 1 佛罗伦萨·杰克马尔 1 亚当·科普洛夫斯基 1 史蒂夫·克莱默 1 金·斯卡·拉森 1 约翰·克里斯托弗(John Christopher McCabe-Dansted) 1 拉斐尔·纳瓦罗·马塞特 1 奥利维·蓬斯 1 兰迪·拉贝哈西纳 1 茨沃尼米尔·拉卡马里奇 1 马克·亚历山大·雷诺兹 1 恩里克·罗德里格斯-卡博内尔 1 阿尔伯特·鲁比奥 1 丹尼尔·南特,索布里尼奥 1 克里斯蒂安·斯特纳格尔 1 阿伦·斯塔姆 1 Tomás、Ana Paula 1 乌韦·沃尔德曼 1 Daria Walukiewicz-Chrząszcz 1 丹尼尔·旺德 1 伊恩·卫尔曼 1 埃德温·韦斯特布鲁克 1 莎拉·温克勒 1 秋久山田 全部的 前5名10篇连载文章中引用 6 自动推理杂志 4 信息与计算 2 应用逻辑杂志 2 计算机科学中的逻辑方法 1 理论计算机科学 1 符号计算杂志 1 计算的形式方面 1 工程、通信和计算中的应用代数 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 在5个字段中引用 38 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 1 场论和多项式(12-XX) 1 交换代数(13-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文