代数系、論理、言語と計算機科学の周辺 : RIMS共同研究(公開型)

著者

• 足立, 智子 アダチ, トモコ
• 京都大学数理解析研究所 キョウト ダイガク スウリ カイセキ ケンキュウショ

書誌事項

代数系、論理、言語と計算機科学の周辺 : RIMS共同研究(公開型)

（数理解析研究所講究録, 2130）

京都大学数理解析研究所, 2019.10

タイトル別名

Algebraic system, logic, language and related areas in computer science : February 20-22, 2019

タイトル読み

ダイスウケイ ロンリ ゲンゴ ト ケイサンキ カガク ノ シュウヘン : RIMS キョウドウ ケンキュウ コウカイガタ

注記

RIMS共同研究(公開型)報告集: 2019年2月20日-2月22日. 研究代表者: 足立智子

参考文献: 各論文末

詳細情報

• NII書誌ID(NCID): BB29552622
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: engjpn
• 出版地: [京都]
• ページ数/冊数: ii, 118p
• 大きさ: 26cm
• 親書誌ID:
  • BN06637050