メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
Keio University ホーム
ヘルプ&FAQ
English
日本語
ホーム
プロファイル
研究部門
研究成果
専門知識、名前、または所属機関で検索
人文社会学科 哲学系
学部
文学部
概要
フィンガープリント
ネットワーク
プロファイル
(4)
研究成果
(56)
研究成果
年別の研究成果
1988
2012
2019
2021
2022
21
Conference contribution
20
Article
7
Conference article
3
Chapter
5
その他
2
Paper
2
Editorial
1
Comment/debate
年別の研究成果
年別の研究成果
1 件
出版年、タイトル
(降順)
出版年、タイトル
(昇順)
タイトル
タイプ
フィルター
Comment/debate
検索結果
2020
Corrigendum to “Inductive-data-type systems” [Theoret. Comput. Sci. 272 (1–2) (2002) 41–68] (Theoretical Computer Science (2002) 272(1–2) (41–68), (S0304397500003479), (10.1016/S0304-3975(00)00347-9))
Blanqui, F.
,
Jouannaud, J. P.
&
Okada, M.
,
2020 5月 12
,
In:
Theoretical Computer Science.
817
,
p. 81-82
2 p.
研究成果
:
Comment/debate
›
査読
Abstract data types
100%
Type Systems
71%
Computer science
69%
Abstract Data Types
66%
Computer Science
66%
3
被引用数 (Scopus)