人文社会学科　哲学系

21 Conference contribution
20 Article
7 Conference article
3 Chapter
その他

1 件

フィルター

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 › 査読
3 被引用数 (Scopus)