proof theory

英 美
  • 证明论
  • proof n.证明;证据;校样adj.防...的;耐...的vt.检验;给...做防护措施
  • theory n.学说;理论;原理;意见
    1. The significance of the model lies in that it initiates a proof theoretical approach to concurrency theory.
      文中用证明论方法研究并行理论,为进程代数演算开辟了一条新的研究途径。