蛤蜊蛤蜊

LambdaClam(Lang-CLAM,LCLAM)是一种支持高阶域上的证明规划的证据规划系统:系统描述:在高阶逻辑中用La CLAM进行证明规划。该系统描述了在高阶逻辑中证明规划的LAM-CLAM系统。概述了将高阶证明规划应用于多种类型问题的有效性和可行性,特别是软件和硬件系统的综合和验证。使用高阶元理论克服了CLAM中遇到的问题,因为它不能正确地推理高阶对象。Lab-CLAM是以LabProlog语言编写的。


ZBMaCT中的参考文献(24篇文章中引用)

显示结果1至20的24。
按年份排序(引文
  1. Wirth,Claus Peter:计算机辅助人本归纳定理的证明:(2012)
  2. 丹尼斯,Louise Abigail;Green,伊恩;Smaill,艾伦:使用嵌入来为高阶波纹提供术语和注释的干净分离(2011)
  3. 迪特里希,Dominik;舒尔茨,EWASYST:水晶:将结构化查询集成到战术语言中(2010)
  4. 梅利斯,埃莉卡;迈耶,安德烈亚斯;Siekman,Jorg:多策略证明规划(2008)
  5. 丹尼斯,Louise A.:用程序切片信息增强定理证明器接口(2007)
  6. 安德鲁斯,Peter B.;布朗,Chad E.:TPS:一种用于证明的混合自动交互系统(2006)
  7. Carette,贾可(ED);农民,William M.(ED):第十二届符号计算和机械化推理(计算器2005)的集成会议论文集,纽卡斯尔,Tyne,7月18日,19, 2005—2006(2006)
  8. 丹尼斯,Louise A.;JAMNIK,凯日曼;Pollet,马丁:证明计划系统的比较:(λ)\文本SCLAM,(\Omega)\TrExcMeGaand \TraceCISAAPLANER(2006)
  9. 狄克逊,卢卡斯;Fuluriot,贾可:数学助理的以证据为中心的方法(2006)
  10. Lyaletski,亚力山大;帕斯凯维奇,安德烈;维尔钦,康斯坦丁:作为数学助理的悲哀——我们该如何从这里到那里?(2006)
  11. Siekmann,J.O.R.G;克里斯托夫,Autxier-SerGe:计算机支持的数学(ω)mega(2006)
  12. 津恩、克劳斯:支持数学文本的形式化验证(2006)
  13. Cook,A;爱尔兰,A.;Michaelson,G,Scaife,N:通过证明计划发现高阶函数的应用(2005)
  14. 迈耶,安德烈亚斯;梅利斯,埃莉卡:系统描述:多。多策略验证规划师(2005)
  15. 迈耶,安德烈亚斯;梅利斯,埃莉卡:多重策略证明计划中的失败推理(2005)
  16. Siekmann,J.O.R.G;克里斯托夫(:Omega):计算机支持的数学(2004)
  17. Castellini,克劳迪奥;Smaill,艾伦:特征交互的证据规划:初步报告(2002)
  18. Zimmer,J·RGEN;丹尼斯,Louise A.:MathWeb软件总线中的归纳定理证明和计算机代数(2002)
  19. AutoXER,瑟奇:一个基于索引公式的显式抽象的证明计划框架(2001)
  20. 丹尼斯,Louise A.;Smaill,艾伦:有序算术:一个高阶域上波纹的实例研究(2001)