软件搜索-zbMATH Open

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

三	克里斯托夫·吕斯
三	沃尔夫，伯克哈特
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	卢克瑟纳斯、里姆维达斯