Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable.

Gwnal Richomme

Browse the full MFCS paper archive.