Lengths of proofs of Presburger formulas プレスバーガー論理式の証明の長さ

この論文をさがす

著者

    • 遊上, 毅 ユガミ, ツヨシ

書誌事項

タイトル

Lengths of proofs of Presburger formulas

タイトル別名

プレスバーガー論理式の証明の長さ

著者名

遊上, 毅

著者別名

ユガミ, ツヨシ

学位授与大学

筑波大学

取得学位

理学博士

学位授与番号

博乙第187号

学位授与年月日

1984-03-22

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000059096
  • NII著者ID(NRID)
    • 8000000059250
  • NDL書誌ID
    • 000000223410
  • データ提供元
    • NDL-OPAC
ページトップへ