保险箱 swMATH ID: 10066 软件作者: 恩德鲁利斯,J 描述: Jambox是字符串和术语重写系统的自动终止证明程序。 主页: http://joerg.endrullis.de./jambox.html 相关软件: AProVE公司;蒂罗尔(Tyrolean);多终端;莫德;哈斯克尔;火柴盒;TPA公司;CoLoR公司;VMTL公司;OBJ咖啡馆;CeTA公司;伊莎贝尔/HOL;TPDB公司;清洁;超小卫星;Coq公司;CSDP公司;CiME公司;3拍;米兰达 引用于: 15文件 全部的 前5名被25位作者引用 5 萨尔瓦多卢卡斯 三 劳尔·古铁雷斯 三 克里斯蒂安·斯特纳格尔 三 雷内·蒂曼 2 阿勒科恩,比阿特丽兹 2 约尔格恩德鲁利斯 2 拉斐尔·纳瓦罗·马塞特 2 约翰内斯·沃尔德曼 1 Courtieu,Pierre皮埃尔 1 朱利安·福雷斯特 1 卡斯滕·福斯 1 吉尔根·吉斯尔 1 迪米特里·亨德里克斯 1 迪特尔·霍夫鲍尔 1 扬·威廉·克鲁普 1 亚当·科普洛夫斯基 1 何塞·梅塞盖尔·瓜伊塔 1 阿尔特·米德尔多普 1 卡斯滕·奥托 1 Overbeek,罗伊 1 拉菲尔西珀,马蒂亚斯 1 彼得·施奈德·坎普 1 泽维尔·乌尔班 1 哈拉尔德·赞克 1 汉斯·赞特马 5篇连载文章中引用 2 信息与计算 1 控制论学报 1 理论计算机科学 1 数学与人工智能年鉴 1 计算机科学中的逻辑方法 在3个字段中引用 15 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 结合环与代数(16-XX) 按年份列出的引文