Two techniques in the area of the star problem in trace monoids (Q1884907): Difference between revisions

@@ Property / cites work @@
+Trace languages defined by regular string languages
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3763601
@@ Property / cites work: Q3763601 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial problems of commutation and rearrangements
+Normal rank
@@ Property / cites work @@
+Semi-commutations
@@ Property / cites work: Semi-commutations / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed product and asynchronous automata
@@ Property / cites work: Mixed product and asynchronous automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrices de Hankel
@@ Property / cites work: Matrices de Hankel / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the star problem in \(A^*\times{}\{ b\}^*\)
+Normal rank
@@ Property / cites work @@
+Q3086926
@@ Property / cites work: Q3086926 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Regular Sets
@@ Property / cites work: Bounded Regular Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Limitedness theorem on finite automata with distance functions
+Normal rank
@@ Property / cites work @@
+Improved limitedness theorems on finite automata with distance functions
+Normal rank
@@ Property / cites work @@
+Q4251054
@@ Property / cites work: Q4251054 / rank @@
+Normal rank
@@ Property / cites work @@
+The star problem and the finite power property in trace monoids: Reductions beyond C4
+Normal rank
@@ Property / cites work @@
+Q4938642
@@ Property / cites work: Q4938642 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability equivalence between the star problem and the finite power problem in trace monoids
+Normal rank
@@ Property / cites work @@
+Kleene quotient theorems
@@ Property / cites work: Kleene quotient theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Une condition suffisante de reconnaissabilité dans un monoïde partiellement commutatif
+Normal rank
@@ Property / cites work @@
+New results on the star problem in trace monoids
@@ Property / cites work: New results on the star problem in trace monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank
@@ Property / cites work @@
+Some trace monoids where both the Star problem and the Finite Power Property Problem are decidable
+Normal rank
@@ Property / cites work @@
+Q3741057
@@ Property / cites work: Q3741057 / rank @@
+Normal rank
@@ Property / cites work @@
+On regular trace languages
@@ Property / cites work: On regular trace languages / rank @@
+Normal rank