Automata and logic; Emptiness of regular intersection Quantified Boolean formula; PSPACE; Polynomial hierarchy;
机译:热带半环中双胞胎特性的可判定性,不可判定性和PSPACE完整性
机译:决定协同观测是PSPACE完整的
机译:正则表达式无星星是PSPACE完全的
机译:决定PSPACE和多项式层次结构完整问题的定期空虚
机译:完全交叉环β序列的准多项式生长
机译:使用多项式资源和集体状态在多项式时间内记忆计算NP完全问题
机译:确定带有预着色的图的在线色数为PSPACE-complete
机译:交叉正则表达式的等价问题在磁带中不是多项式。