...
机译:具有区别的内部象素和生成树的布尔代数
Sobolev Institute of Mathematics SB RAS 4, pr. Akad. Koptyuga, Novosibirsk 630090, Russia,Novosibirsk State University 2, ul. Pirogova, Novosibirsk 630090, Russia;
机译:具有区分内在性的布尔代数类的可计算编号
机译:一元布尔布尔代数的内同态
机译:有限布尔型对数正则OCKHAM代数
机译:Quasi-i-Boolean代数与Quasi-M Boolean代数
机译:当布尔代数是地面模型中的适当类时,集合论的布尔值模型。
机译:通过计算代数识别布尔分子网络模型中的控制目标
机译:具有无扭转元素的模块的同胚代数
机译:具有受限变量的布尔代数作为故障树模块化的工具