稳定模相关论文
设R是交换Noether环,我们给出了R?的两个理想由Gorenstein理想来链接的一个等价刻画;并在Gorenstein局部环的情形,给出了RR的两个......
逻辑程序是一些具有正负子句的规则集合.基于MOORE提出的自认知逻辑的基础上,GELFOND引进了稳定模的概念,后来得到更进一步的发展.......
