机译:无限计算的高度不确定的问题
Equipe de Logique Mathematique CNRS et Universite Paris 7 Prance;
infinite computations; 1-counter-automata; 2-tape automata; decision problems; arithmetical hierarchy; analytical hierarchy; complete sets; highly undecidable problems;
机译:不可剥离性,单位组,以及Q的一些完全想象的无限延伸
机译:双无限邮政对应问题不确定性的新证明
机译:大小为8的实例的无限后对应问题的不确定性
机译:无限词的概率自动机:可判定性和不可判定性结果
机译:使用优化的计算和I / O操作设计高效的重复数据删除系统
机译:计算辅助熵驱动的高效耐用的多元素合金催化剂的合成
机译:无限计算的高度不确定的问题