The Star Problem and the Finite Power Property in Trace Monoids: Reductions beyond C4

Daniel Kirsten. The Star Problem and the Finite Power Property in Trace Monoids: Reductions beyond C4. Inf. Comput., 176(1):22-36, 2002. [doi]

Abstract

Abstract is missing.