机译:一些动态空间的逻辑-I
Indian Inst Technol, Discipline Math, Indore 452017, Madhya Pradesh, India;
Indian Inst Technol, Dept Math & Stat, Kanpur 208016, Uttar Pradesh, India;
Normal modal logic; temporal logic; Tableau-based proof procedure; combination of modal logics; rough set theory;
机译:Chebyshev Spaces的基本盛开不等式 - I:施施函数的应用
机译:纹理空间上的内部和闭合运算符-I:基本概念和Cech闭合运算符
机译:二阶模糊拓扑空间-I
机译:伪动态逻辑(sdl):高速和低功耗动态逻辑系列
机译:在动态认知逻辑中添加时间逻辑。
机译:基于DNAzyme的Toffoli和Fredkin逻辑门证明了逻辑可逆性和热力学不可逆性
机译:Banach空间张量积的概率测度-I