グラフ書換え系における静的グラフ型検査
グラフ書換え系における静的グラフ型検査
复制标题
图重写系统中的静态图类型检查
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
吉元佑介，上田和紀
中科院分区：
文献类型：
--
作者：
石井大輔;冨田 尭;米崎直樹;伊藤剛史，松本翔太，上田和紀;別納健市，松本翔太，若槻祐彰，上田和紀;恒川 雄太郎，上田 和紀;松澤 望，上田 和紀;Kazunori Ueda;松本翔太，上田和紀;石井大輔;Kazunori Ueda and Yusuke Yoshimoto;若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀;吉元佑介，上田和紀
