Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids

Daniel Kirsten, Gwénaël Richomme. Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids. Theory Comput. Syst., 34(3):193-227, 2001. [doi]

Abstract

Abstract is missing.