TAS公司 swMATH ID: 4900 软件作者: 克里斯托夫·吕斯;伯克哈特·沃尔夫 描述: TAS–通用窗口推理系统本文介绍了用于窗口推理计算和转换系统的转换证明和程序开发技术。计算的特点是在底层逻辑中有一类定理。我们的转换系统TAS将这些规则编译为具体的演绎支持,并通过拖放和校对等手势实现了无命令语言用户交互的图形用户界面,以及转换证明的开发管理。它是通用的,因为它完全独立于特定的窗口推理或转换演算,并且可以实例化为许多不同的演算;本文给出了三个这样的示例。 主页: 网址:http://www.informatik.uni-bremen.de/~cxl/塔斯/ 依赖项: 伊莎贝尔 相关软件: 伊萨温;伊莎贝尔;Nuprl公司;HOL公司;CASL公司;TeXmacs公司;米扎尔;Lambda-Clam公司;一般证明;伊萨尔;IsaPlanner公司;毫升;测试程序集;Coq公司;校样通用套件;伊莎贝尔/伊萨尔;工作室B;ArcAngel公司;伊莎贝尔/HOL;繁荣 引用于: 11文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 TAS–通用窗口推理系统。 Zbl 0974.68507号克里斯托夫·吕斯;沃尔夫,伯克哈特 2000 全部的 前5名16位作者引用 三 克里斯托夫·吕斯 三 沃尔夫,伯克哈特 2 加布里埃尔·阿奎莱拉 2 佩雷斯·德古兹曼(Pérez de Guzmán),英马特拉达 2 曼努埃尔·奥杰达 1 安德森,佩妮 1 大卫·阿斯皮纳尔 1 谢尔盖·奥特西尔 1 David A.Basin。 1 Dixon,Lucas卢卡斯 1 沃尔特·多施 1 雅克·弗莱里奥。 1 伊克拉莫夫,赛义德哈基姆·多多多沙诺维奇 1 马格努森,Sönke 1 蒂尔·莫萨科夫斯基 1 卢克瑟纳斯、里姆维达斯 全部的 前5名6篇连载文章中引用 1 符号计算杂志 1 应用非经典逻辑杂志 1 北欧计算机杂志 1 函数编程杂志 1 Doklady数学 1 应用逻辑杂志 在3个字段中引用 10 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 按年份列出的引文