Southern University and Agricultural and Mechanical College.;
机译:通过布尔代数和线性前半箍的MTL代数子类别之间的等价关系
机译:基于会话的并发的线性逻辑关系和观察等价
机译:代数的一些逻辑不变式和代数之间的逻辑关系
机译:部分代数的各种逻辑框架中的等价性
机译:使用非线性控制器的线性代数等效的非线性控制系统的结构分析,设计和优化。
机译:模糊逻辑代数及其应用
机译:部分代数的各种逻辑框架之间的等价关系
机译:逻辑数据库的等价性