关于通用类型的注解

摘要:在一个稳定的阿贝尔群中,我们对类型定义子群的陪集进行了通用类型的表征。

作者:Martin Ziegler

论文ID:math/0608433

分类:Logic

分类简称:math.LO

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中