An Indexed System for Multiplicative Additive Polarized Lineaa Logic
An Indexed System for Multiplicative Additive Polarized Lineaa Logic
复制标题
乘法加法极化线性逻辑的索引系统
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Ryo Takemura
中科院分区：
文献类型：
--
作者：
Masahiro Hamano;Ryo Takemura
登录
查看更多内容
极化购物中心的分类语义
DOI：
--
发表时间：
2007
期刊：
Annals of Pure and Applied Logic(Elsevier) 145
影响因子：
--
作者：
Masahiro Hamano;Phil Scott
通讯作者：
Phil Scott
TOP专访 虚拟社区是营销的宝库——专访Gala株式会社董事长村本理惠子
影响因子：
0.5
作者：
村本 理恵子;黒田 あゆみ
通讯作者：
黒田 あゆみ
论指称完整性
DOI：
10.1016/s1571-0661(05)80404-9
发表时间：
1999
期刊：
--
影响因子：
--
作者：
J. Girard
通讯作者：
J. Girard
DOI：
--
发表时间：
2001
期刊：
--
影响因子：
--
作者：
Alexandra Bac
通讯作者：
Alexandra Bac
Locus Solum：从逻辑规则到规则逻辑
影响因子：
0.5
作者：
J. Girard
通讯作者：
J. Girard