Recursive program schemes : semantics and proof theory

詳細情報 詳細情報について

• CRID

  1130000794773593216

• NII書誌ID

  BA06282838

• ISBN

  9061961270

• LCCN

  77363645

• Web Site

  https://lccn.loc.gov/77363645

• 出版国コード

  ne

• タイトル言語コード

  en

• 出版地

  • Amsterdam

• 分類

  • LCC: QA76.7
  • DC: 001.6/424

• 件名

  • LCSH: Programming languages (Electronic computers) -- Semantics
  • LCSH: Recursive programming
  • LCSH: Proof theory

• データソース種別

  • CiNii Books