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