Clare College, University of Cambridge, Trinity Lane,Cambridge CB2 1TL, United Kingdom;
Multi-valued functions; many-one reduction; Weihrauch reducibility; category theory; degree structure;
机译:关于多值解析函数有理逼近理论中最小容量的紧致性的存在
机译:右单调递增多值映射与中性泛函微分包含的混合不动点理论
机译:使用功能进行计算-可计算性理论还是计算机科学?
机译:可计算性理论中的多价函数
机译:无逗号码上的两个最大线性递归序列之间的多值互相关函数。
机译:具有多值元素的离散动力系统中的集成信息(φ)
机译:可计算性理论中的多价函数