...
机译:拟布尔代数上的拟布尔函数的性质
Lattice; Boolean function; Quasi-Boolean algebra; Quasi-Boolean function;
机译:拟布尔代数上的拟布尔函数的性质
机译:准布尔代数上LTL的有效多值有界模型检查
机译:准布尔代数上的LTL的高效多值有界模型检查
机译:拓扑拟布尔代数5的有限可嵌入性
机译:代数变体的超几何函数和算术性质。
机译:原始毕达哥拉斯三元组的统计和代数性质的数据集
机译:准布尔代数上的LTL的高效多值有界模型检查
机译:具有特定依赖结构的H-函数的代数函数