Two techniques in the area of the star problem in trace monoids
type: Item
instance of: scholarly article
title: Two techniques in the area of the star problem in trace monoids
zbMATH Open document ID: 1106.68371
DOI: 10.1016/S0304-3975(03)00313-X
author: Daniel Kirsten
author: Jerzy Marcinkowski
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 20M35
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2111000
zbMATH Keywords: Trace monoid
zbMATH Keywords: Recognizable language
zbMATH Keywords: Star problem
zbMATH Keywords: Decidability
MaRDI profile type: Publication
cites work: Trace languages defined by regular string languages
cites work: Q3859267
cites work: Q3763601
cites work: Combinatorial problems of commutation and rearrangements
cites work: Semi-commutations
cites work: Mixed product and asynchronous automata
cites work: Q4079524
cites work: Matrices de Hankel
cites work: Decidability of the star problem in \(A^*\times{}\{ b\}^*\)
cites work: Q3086926
cites work: Bounded Regular Sets
cites work: Semigroups, Presburger formulas, and languages
cites work: Limitedness theorem on finite automata with distance functions
cites work: Improved limitedness theorems on finite automata with distance functions
cites work: Q4251054
cites work: The star problem and the finite power property in trace monoids: Reductions beyond C4
cites work: Q4938642
cites work: Decidability equivalence between the star problem and the finite power problem in trace monoids
cites work: Kleene quotient theorems
cites work: Une condition suffisante de reconnaissabilité dans un monoïde partiellement commutatif
cites work: New results on the star problem in trace monoids
cites work: Q5541339
cites work: Some trace monoids where both the Star problem and the Finite Power Property Problem are decidable
cites work: Q3741057
cites work: On regular trace languages
description: scientific article; zbMATH DE number 2111000