机译：“无收缩的递归定义的度量空间”的附录[定理。计算科学380（1/2）（2007）143-163]
机译：递归定义的度量空间而无收缩
机译：通过度量空间上的乘数规则证明最优控制的一般最大原理
机译：使用度量标准作为递归定义的对延迟不敏感的规范的证明规则
机译：用于评估不同时期关联规则的景点的线性回归模型的递归分工=线性回归模型的递归分区，以评估关联规则的有趣和不同时间段
机译：自我耗竭会干扰规则定义的类别学习但不会干扰非规则定义的类别学习
机译：递归定义的度量空间上基于递归性质的隐藏状态的阶跃索引Kripke模型⋆
机译：递归度量空间的递归可数子集
