规范代数相关论文
讨论了具仍使用等式e有效的子代数的规范代数构成的类的代数性质,证明了这个类是一个可等式的模型类。......
本文利用泛代数的思想和方法研究自动机理论,建立了亚群和自动机的方程规范模型,把亚群和自动机定义为这种规范模型的代数。给出了规......