期刊文献+

一类等式模型类的代数性质

ALGEBRAIC PROPERTIES OF AN EQUATIONAL MODEL CLASS
下载PDF
导出
摘要 讨论了具有使等式e 有效的子代数的规范代数构成的类的代数性质。 The algebraic properties of a SPEC_algebra class are discussed where every SPEC_algebra has subalgebra that an equation e is valid in it.Then it is showed that this class is an equational model class.
作者 邓培民
出处 《广西师范大学学报(自然科学版)》 CAS 1999年第4期28-32,共5页 Journal of Guangxi Normal University:Natural Science Edition
关键词 规范 规范代数 等式模型类 代数性质 模型类 specification SPEC_algebra equational validity category
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部