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]

Authors

Daniel Kirsten

This author has not been identified. Look up 'Daniel Kirsten' in Google

Gwénaël Richomme

This author has not been identified. Look up 'Gwénaël Richomme' in Google