Galois embedding from universal types into existential types - Extended abstract -

Galois embedding from universal types into existential types - Extended abstract -
复制标题

从通用类型到存在类型的伽罗瓦嵌入 - 扩展抽象 -

DOI：
--
复制
发表时间：
2006
期刊：
京都大学数理解析研究所講究録(代数、言語、計算システムにおけるアルゴリズム問題) 1503
影响因子：
--
通讯作者：
K.Fujita
K.Fujita
中科院分区：
--
文献类型：
--
作者：
Tsujigiwa H;Nagatsuka H;Han PP;Gunduz M;Siar CH;Oida S and Nagai N;Shimizu T;Kawakami T;Inoue M;Tsujigiwa H;Nagatsuka H;Tsujigiwa H;Gul San Ara Sathi;Silvia Borkosky;Mahmoud Al Sheikh All;Lefeuvre Mathieu;Silvia Susana Borkosky;Gul San Ara Sathi;Mahmoud Al Sheikh Ali;M. Gunduz;R. Rivera;長塚仁;片瀬直樹;中野敬介;玉村亮;佐藤文彦;Beder Levent;Rivera RS;金田祥弘;胡海龍;井上美穂;森宏樹;Rodriguez Andrea Paola;辻極秀次;中野敬介;清水貴子;中野敬介;グンデゥズ メーメット;グンデゥズ エスラ;岡内美佳;清水貴子;玉村亮;片瀬直樹;Gunduz M;福島邦博;小野田友男;Beder Levent;Gunduz Mehmet;Gunduz M;Gunduz E;Demircan K;Gunduz E;Gunduz M;Gunduz Mehmet;Beder L;K.Fujita

文献摘要

相似文献