Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report

E. Cardoza, Richard J. Lipton, Albert R. Meyer

Browse the full STOC paper archive.