On the complexity of derivation in propositional calculus

• TSEITIN Grigori

収録刊行物

• Studies in Constructive Mathematics and Mathematical Logic

  Studies in Constructive Mathematics and Mathematical Logic 115-125, 1968

詳細情報

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