机译:关于双元代数约简的完全表示
Algebraic logic; polyadic algebras; complete representations;
机译:关于多元代数的约简的完全表示
机译:关于多元代数的约简的完全表示
机译:圆柱代数的关系代数约简和完整表示
机译:约束概念格的代数系统及其知识表示的完备性
机译:完成应用数学课程和完成传统代数课程的高中学生的选定代数能力。
机译:多元布尔代数中的谓词术语运算和等式
机译:关于多元代数还原的合并
机译:走向自动机的同调代数I:1。抽象自动机类别的表示和完备性定理