强代数格 strongly algebraic lattice
代数规格说明 algebraic specification ; algebraic ecification
半代数格 Semialgebraic Lattice
分配格序代数 Fang Jie ; DISTRIBUTIVE LATTICES WITHUNARY OPERATIONS
代数多重网格 AMG ; Algebraic Multi-Grid
代数多重网格法 Algebraic Multigrid ; Algebraic Multi-grid Method
代数规格语言 algebraic specification language
瀑布型代数多重网格 CAMG
代数规格 algebraic specification
·2,447,543篇论文数据,部分数据来源于NoteExpress
作为半连续格的推广,引入了拟半连续格和拟半代数格的概念,讨论了它们的一些基本性质。
As generalizations of semicontinuous lattices and semialgebraic lattices, the concepts of quasi-semicontinuous lattices and quasi-semialgebraic lattices are introduced.
作为推论,给出了格蕴涵代数的某些结构性定理。
As consequences it is given some of structure theorems of lattice implication algebras.
给出的格蕴含代数的公理系统,并给出另一个公理系统。
Simplify the axiom system of lattice implication algebras, which was given by y.
应用推荐