论文标题
可达性是塔完整的
Reachability is Tower Complete
论文作者
论文摘要
很长一段时间以来，已经开放了对矢量添加系统的可达性问题的复杂性的完整表征。该问题已显示为塔完整。
A complete characterization of the complexity of the reachability problem for vector addition system has been open for a long time. The problem is shown to be Tower complete.
