软件搜索-zbMATH Open

RRL公司

swMATH ID:	28904
软件作者：	D.卡普尔；H.张
描述：	重写规则实验室（RRL）概述。RRL（重写规则实验室）最初是作为实验基于重写技术的等式逻辑自动推理算法的环境开发的。它现在已经成熟为一个成熟的定理证明器，用于解决自动推理文献中困难且具有挑战性的数学问题，以及一个研究工具，用于研究在硬件和软件设计中形式化方法的使用。我们简要介绍了RRL及其后代的发展历史，概述了RRL的主要功能，最后讨论了RRL应用。
主页：	https://www.sciencedirect.com/science/article/pii/089812219400218A
相关软件：	版次;水獭;NQTHM公司;斯派克;落叶松;PVS公司;泰克顿;PTTP公司;ACL2型;断言;气象;InKa公司;赫基;Sb版本2;CoLoR公司;Nuprl公司;SBR3公司;SETHEO公司;自动化;蛤
引用于：	59文件

21	迪帕克·卡普尔
9	张汉涛
6	巴利亚特·纳伦德兰
4	马哈德万·苏布拉曼尼亚姆
三	大卫·穆瑟。
2	毛里西奥·阿亚拉·林科恩
2	玛丽亚·保拉（Maria Paola Bonacina）
2	吉尔根·吉斯尔
2	苏珊·赫密勒（Susan M.Hermiller）。
2	Jieh乡
2	Jean-Pierre Jouannaud
2	克洛德·基什内尔
2	赫莱内·基什内尔
2	威廉·麦库恩。
2	法布里斯·纳洪
2	阿尔伯特·鲁比奥
2	斯特拉图拉特，索林
1	高仁青藤
1	艺术，托马斯
1	利奥·巴赫迈尔
1	米歇尔·巴里
1	迈克尔·比森。
1	丹·贝纳纳夫
1	保罗·布劳纳
1	布赫伯格，布鲁诺
1	吉姆·克里斯蒂安
1	休伯特·科蒙
1	David A.Cyrluk。
1	纳胡姆德肖维茨
1	鲁本·甘博阿（Ruben A.Gamboa）。
1	沃尔夫冈·盖尔克
1	Hua、Gary Xin
1	卡隆·柯克伍德
1	托马斯·科尔贝。
1	Krishnamoorthy，Mukkai S。
1	阿明·库内曼
1	安德烈·L.Galdino
1	迈克尔·赖
1	皮埃尔·莱斯坎
1	帕特里克·D·林肯。
1	乌苏拉·马丁
1	约翰·迈耶
1	约瑟夫·蒙迪。
1	范·杜克·阮
1	罗伯特·纽文胡斯
1	大卫·艾伦（David Alan），Plaisted
1	罗马克里希南，I.V。
1	拉奥·M·R·K·克里希纳
1	Rudrapatna Kallikote Shyamasundar
1	西瓦库马尔，G.D。
1	维多利亚州斯塔夫里杜
1	乔纳森·斯蒂尔曼
1	Janis Voigtlander公司
1	克里斯托夫·沃尔特
1	沃斯，拉里
1	张健