...
机译:递归定义的度量空间而无收缩
Accessible category; Accessible functor; Behavioural pseudometric; Metric space; Probabilistic transition system; Kantorovich metric;
机译:“无收缩的递归定义的度量空间”的附录[定理。计算科学380(1/2)(2007)143-163]
机译:在没有正常性的假设的情况下,Banach代数在Banach algabras的锥形度量空间中的普遍化G - 准收缩的定点结果
机译:具有不具有混合g-单调性质的Q函数的部分有序拟度量空间中非线性收缩的耦合重合点定理
机译:递归定义的度量空间上基于递归属性的隐藏状态的阶跃索引Kripke模型
机译:由t模定义的模糊度量空间。
机译:无正态锥度量空间中的多值压缩
机译:递归定义的度量空间而无收缩
机译:递归度量空间的递归可数子集