The Complexity of the Equivalence Problem for Commutative Semigroups and Symmetric Vector Addition Systems

Dung T. Huynh

Browse the full STOC paper archive.