机译:可确定的最大弱结构
LACL, EA 4213, Universite Paris-Est, Faculte des Sciences et Technologie, 61 avenue du General de Gaulle, 94010 Creteil Cedex, France;
decidability; first-order theories; monadic second-order theories; maximality; automata; rich words;
机译:Morrey空间弱型估计最大函数和最大函数换向器
机译:Morrey空间弱型估计最大函数和最大函数换向器
机译:功利最大程序与弱最大程序的等价
机译:Halpern和Shoham的区间逻辑有何决定?最大片段ABBL
机译:奇异积分和最大运算符的弱型估计
机译:Banach空间中可数最大单调映射和弱相对非扩展映射的投影算法的新构造和证明技术
机译:最大可判定结构