Proving a specific type of inequality theorems in ACL2

著录项

• 来源
  《International Workshop on the ACL2 Theorem Prover and its Applications》|2009年|P.25 - 28|共4页
• 会议地点 Boston MA(US)
• 作者

  Hanbing Liu;

  展开▼
• 作者单位

  Advanced Micro Devices;

  展开▼
• 会议组织
• 原文格式 PDF
• 正文语种
• 中图分类
• 关键词

  ACL2; ACL2 free variables; bind-free; error analysis; rewriting strategy; theorem;

  机译：ACL2； ACL2自由变量；无约束力错误分析；改写策略；定理;