Proof theory of higher-order equations : Conservativity, normal forms and term rewriting

• MEINKE K.

収録刊行物

• J. Comput. Syst. Sci.

  J. Comput. Syst. Sci. 67 127-173, 2003

詳細情報

• CRID: 1571417125528976768
• NII論文ID: 10020719438
• データソース種別:
  • CiNii Articles