机译:压实和任何Hausdorff压实的Aζx和Open CD *过滤器过程
机译:压实和Stone-Cech,Wallman压实的净和开放式过滤过程
机译:Hausdorff对局部紧凑可分离空间的每次压缩都是$ {m GA} $压缩
机译:Hausdorff调整
机译:使用特殊类型的决策图来压缩CDCL SAT求解器生成的冲突数据库
机译:BSO(2N)/ SO(2N-1)和KAZAN-LUSZTIG ATLAS的精彩紧凑型,在G / P上进行了BRUHAT图集
机译:有序集,复合体和紧缩问题
机译:压实和Stone–Čech,Wallman压实的净和开放过滤过程