Optimal Algorithms for the Coverability, the Subword, the Containment, and the Equivalence Problems for Commutative Semigroups

Ulla Koppenhagen, Ernst W. Mayr. Optimal Algorithms for the Coverability, the Subword, the Containment, and the Equivalence Problems for Commutative Semigroups. Inf. Comput., 158(2):98-124, 2000.

Abstract

Abstract is missing.