×

保险箱

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文件

按年份列出的引文