ILLC Universiteit van Amsterdam Amsterdam The Netherlands;
IRIT Universite de Toulouse Toulouse France;
机译:麦肯锡 - Tarski定理的新证明
机译:拓扑Hochschild同源性和拓扑循环同源性中的局部定理。
机译:拓扑空间中广义R-KKM映射的匹配定理和重合定理
机译:用于拓扑证据逻辑的麦肯锡 - Tarski定理
机译:Groupoid和其他技术在拓扑对类别中的胶合和共胶定理中的应用。
机译:局部凸拓扑线性空间中的不动点定理和极小极大定理
机译:拓扑混合逻辑的定理证明实验
机译:Un Unorem de probabilite Zero ou un Dans Groupe measurable or Topologique Quelconque(O-1可衡量或拓扑组中的概率定理)