Some Undecidability Results Related to the Star Problem in Trace Monoids.

Daniel Kirsten

Browse the full STACS paper archive.