文献
J-GLOBAL ID:201702222303694485
整理番号:17A1190146
ハイブリッドと劣指数線形論理【Powered by NICT】
Hybrid and Subexponential Linear Logics
著者 (3件):
Despeyroux Joeelle
(INRIA and CNRS, I3S, Sophia-Antipolis, France)
,
Olarte Carlos
(Universidade Federal do Rio Grande do Norte, Brazil)
,
Pimentel Elaine
(Universidade Federal do Rio Grande do Norte, Brazil)
資料名:
Electronic Notes in Theoretical Computer Science
(Electronic Notes in Theoretical Computer Science)
巻:
332
ページ:
95-111
発行年:
2017年
JST資料番号:
W2857A
ISSN:
1571-0661
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)