Formalization of Coding Theory using Lean
Formalization of Coding Theory using Lean
复制标题
使用精益形式化编码理论
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Kyosuke Nakano and Justin Kong
中科院分区：
文献类型：
--
作者：
Manabu Hagiwara;Kyosuke Nakano and Justin Kong
DOI：
10.1007/s10817-013-9298-1
发表时间：
2014-06-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
--
作者：
Affeldt, Reynald;Hagiwara, Manabu;Senizergues, Jonas
通讯作者：
Senizergues, Jonas