Login / Signup
程序语言中共归纳数据类型的一种fibrations方法 (Fibrations Method of Co-inductive Data Types in Programming).
Decheng Miao
Jianqing Xi
Jingguo Dai
Jindian Su
Published in:
计算机科学 (2016)
Keyphrases
</>
data types
similarity measure
preprocessing