Some trace monoids where both the Star problem and the Finite Power Property Problem are decidable (Q5096916): Difference between revisions

@@ Property / cites work @@
+Combinatorial problems of commutation and rearrangements
+Normal rank
@@ Property / cites work @@
+Recognizable subsets of some partially Abelian monoids
+Normal rank
@@ Property / cites work @@
+Q3736919
@@ Property / cites work: Q3736919 / 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 @@
+Maximal serializability of iterated transactions
@@ Property / cites work: Maximal serializability of iterated transactions / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the star problem in \(A^*\times{}\{ b\}^*\)
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Regular Sets
@@ Property / cites work: Bounded Regular Sets / rank @@
+Normal rank
@@ Property / cites work @@
+A decision procedure for the order of regular events
+Normal rank
@@ Property / cites work @@
+Recognizable closures and submonoids of free partially commutative monoids
+Normal rank
@@ Property / cites work @@
+Q3659988
@@ Property / cites work: Q3659988 / rank @@
+Normal rank
@@ Property / cites work @@
+On recognizable subsets of free partially commutative monoids
+Normal rank
@@ Property / cites work @@
+ON THE STAR OPERATION IN FREE PARTIALLY COMMUTATIVE MONOIDS
+Normal rank