• VMTL

  • 8篇参考文献[SW10065 ]
  • 自动终止分析学期 重写系统(TRS)引起了很多关注。终止行为分析有条件的 学期 重写系统(CTRSS)。使用最新的…
  • 条件汇流

  • 6篇参考文献[SW13315]
  • 一级自动汇流检查器有条件的 学期 重写系统该工具实现各种汇流…提出了简单的测试方法有条件的不可行的临界配对有条件的汇合…
  • 康顿

  • 2篇参考文献[SW21589]
  • 可靠汇流检查器有条件的 术语 重写系统CONCON是一个全自动汇流检查器…定向一阶有条件的 学期 重写系统(CTRSS)。它是用斯卡拉写的…
  • 斯佩克特

  • 3篇参考文献[SW01114]
  • 由广义表示的公理组成。条件 学期 重写规则、应用策略公理的标准形式由条件在房屋和建筑中…
  • 有轨电车

  • 2篇参考文献[SW03369]
  • 排序排序抽象机有条件的 学期 改写系统(OSCTRS)。OSCTRS可以服务…策略可以通过组合适当地控制并行性。条件. 在本文中,我们描述了设计…
  • CO3

  • 1篇参考文献[SW28 113]
  • 合流证明工具有条件的 学期 重写系统(CTRS)使用转换方法…
  • Java+ITP

  • 8篇参考文献[SW32 259]
  • 语义等价的一阶验证条件(VCS)然后发送给Maude…学期本项目的目标是使用可扩展和模块化。重写逻辑语义学…
  • 辅酶Q

  • 1706篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • CSDP

  • 189篇参考文献[SW0169]
  • CSDP,半定规划的C文库。
  • Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 岩浆

  • 2602篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…
  • 超小卫星

  • 514篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 诺蒂

  • 518篇参考文献[SW0611]
  • 图论程序NUTYY:NUTY是一个程序…
  • 减少

  • 730篇参考文献[SW0789]
  • Read是一个通用代数的交互系统。