机译:固定点,游戏和差异等级
LFCS, School of Informatics, University of Edinburgh, Edinburgh, EH9 3JZ, UK;
descriptive set theory; fixpoint; game quantifier; induction;
机译:层次结构上的Fixpoint逻辑
机译:定点逻辑中带有排骨的交替层次结构也很严格
机译:Fixpoint方程系统的抽象,达到技术和游戏
机译:传播差异:分布式约束系统的高效新定点算法
机译:学生的STEM身份,游戏动机和游戏偏好方面的差异
机译:游戏前后对游戏线索的神经反应的性别相关差异:对互联网游戏障碍的特定性别漏洞的影响
机译:定点,游戏和差异等级