犯罪现场调查 swMATH ID: 9767 软件作者: 哈拉尔德·赞克;费尔根豪尔(Felgenhauer),伯特伦(Bertram);阿尔特·米德尔多普 描述: CSI-汇流工具。本文描述了一种新的术语重写系统汇流工具。由于其模块化设计,迄今为止实现的少数技术可以灵活组合。为终止分析开发的方法适用于证明和反驳合流。初步实验结果显示了我们工具的潜力。 主页: http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_38 关键词: 项重写;汇流;自动化 相关软件: 塞加瓦;CeTA公司;蒂罗尔(Tyrolean);存档正式证据;伊莎贝尔/HOL;CiME公司;CoLL公司;伊莎贝尔;条件合流;CoLoR公司;OBJ咖啡馆;莫德;OBJ3型;CRC 3号机组;AProVE公司;StarExec公司;ACL2型;减少图表;FOL配件;MONA公司 引用于: 23文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 CSI:新证据–进度报告。 Zbl 1494.68291号朱利安·纳格尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普 2017 全部的 前5名26位作者引用 8 伯特伦·费尔根豪尔 8 阿尔特·米德尔多普 5 朱利安·纳格尔 5 哈拉尔德·赞克 三 高仁青藤 2 Nao Hirokawa 2 何塞·梅塞盖尔·瓜伊塔 2 托马斯·斯特纳格尔 1 Bergstra,Jan A。 1 弗朗西斯科·杜兰 1 约尔格恩德鲁利斯 1 早坂石冢 1 肯塔罗州菊池 1 扬·威廉·克鲁普 1 亚历山大·洛赫曼 1 费比安·米特沃纳 1 小山口,美雄 1 阿尔班·蓬塞 1 卡米洛·罗查 1 Masahiko酒井 1 Kiraku Shintani 1 斯蒂芬·斯基里克 1 克里斯蒂安·斯特纳格尔 1 雷内·蒂曼 1 富山,吉藤义彦 1 文森特·范·奥斯特罗姆 全部的 前5名7篇连载文章中引用 三 计算机科学中的逻辑方法 2 自动推理杂志 1 信息与计算 1 数学百科全书。新系列 1 工程、通信和计算中的应用代数 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 23 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文