Games; Mathematics; Automata; Binary trees; Computer science; Gold; Computational modeling;
机译:用非确定性自动模拟树木交替自动-RABIN,MCNAUGHTON和SAFRA定理的新结果和新方法。
机译:平面图次要定理的不可证明阈值
机译:多色Motzkin-Rabin定理的定量变体
机译:Rabin的可辨ic是定理如何无法移动?
机译:超度的可判定性和超算术分析定理
机译:贝尔定理和观点之间的可判定性问题 爱因斯坦和玻尔的
机译:拉宾的可判定性定理多么无法证明?