NetKAT公司 33篇文献引用(2014–2023) 软件作者: Anderson,C.J.,Foster,N.,Guha,A.,Jeannin,J.-B.,Kozen,D.,Schlesinger,C.,Walker,D。 相关软件: 狂热;VeriFlow;食蚁兽… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);结合环与代数(16-XX)…
KAT-ML公司 10篇文献引用(2006–2016) 软件作者: Aboul-Hosn,K.,Kozen,D 相关软件: Isabelle/HOL;Coq;酯类… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
克莱纳代数 引用于9份文件(2015–2022) 软件作者: A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件: 存档正式证据;Isabelle/HOL;大锤… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…
ProbNetKAT公司 7份文件引用(2017–2022) 软件作者: 斯莫尔卡,斯特芬;普拉文·库马尔(Praveen Kumar);Nate Foster;德克斯特·科赞;亚历山德拉·席尔瓦 相关软件: 净KAT;棱镜;QPL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);测量和集成(28-XX)…
关系代数 6篇文献引用(2016–2018) 软件作者: 阿拉斯代尔·阿姆斯特朗、西蒙·福斯特、乔治·斯特鲁斯、贾克·韦伯 相关软件: 存档正式证据;Isabelle/HOL;霍尔… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
正则_代数 3份文件引用(2015–2016) 软件作者: 西蒙·福斯特;乔治·斯特鲁斯 相关软件: 大锤;Isabelle/HOL;陷阱… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
DyNetiKAT公司 2份文件引用(2022) 软件作者: 乔治亚娜·卡尔泰斯;侯赛因·霍贾特;穆萨维、穆罕默德·雷扎;昆卡罐Tunç 相关软件: 净KAT;蟒蛇;莫德… 主要字段: 计算机科学(68-XX)
KAD公司 2份文件引用(2019–2022) 软件作者: 维克多·B·F·戈麦斯、沃尔特·古特曼、彼得·霍夫纳、乔治·斯特鲁斯、特贾克·韦伯 相关软件: 存档正式证据;贝勒红;变压器语义… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)