机译:关于-algebras的校长和布尔同时
Univ Nacl San Juan Inst Ciencias Basicas San Juan Argentina;
Univ Nacl San Juan Inst Ciencias Basicas San Juan Argentina;
Univ Nacl San Juan Inst Ciencias Basicas San Juan Argentina;
Heyting algebras; Tense operators; IKt-algebras; Boolean congruences; Principal congruences;
机译:关于-algebras的校长和布尔同时
机译:商代数为布尔的平衡伪互补Ockham代数上的同余
机译:主同余形成同余格的子格的代数
机译:Double Boolean代数上的过滤器,理想和同时
机译:当布尔代数是地面模型中的适当类时,集合论的布尔值模型。
机译:通过计算代数识别布尔分子网络模型中的控制目标
机译:在代数的分配同乐格中的主要同时集合
机译:一类布尔代数与布尔代数的关系分析及其在高阶布尔函数最小化中的应用