Complexity theory; Upper bound; Encoding; Bars; Formal languages; History;
机译:具有状态的二维载体添加系统中的可达性:一个测试是免费的
机译:定时寄存器下推自动机和分支向量加法系统的二进制可达性
机译:定时登记推动自动机和分支矢量加法系统的二进制可达性
机译:具有状态的二维联合载体添加系统的可达性是NL-Complete * sup>
机译:使用交错坡道的二维超音速喷嘴推力矢量。
机译:光码划分多址系统的二维置换向量(PV)代码
机译:具有状态的二维一元向量加法系统的可达性是NL完全的
机译:petri网和向量加法系统的可达性问题与活跃度问题的递推等价性,