D0L sequence equivalence is in<i>P</i>for fixed alphabets (Q3515467): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2084363451
@@ Property / OpenAlex ID: W2084363451 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of Ehrenfeucht's conjecture
@@ Property / cites work: A proof of Ehrenfeucht's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Deux propriétés décidables des suites récurrentes linéaires
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+The presence of a zero in an integer linear recurrent sequence is NP-hard to decide
+Normal rank
@@ Property / cites work @@
+The decidability of the equivalence problem for DOL-systems
+Normal rank
@@ Property / cites work @@
+Q3711770
@@ Property / cites work: Q3711770 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary homomorphisms and a solution of the DOL sequence equivalence problem
+Normal rank
@@ Property / cites work @@
+On a bound for the DOL sequence equivalence problem
+Normal rank
@@ Property / cites work @@
+A simple proof of the Skolem-Mahler-Lech theorem
@@ Property / cites work: A simple proof of the Skolem-Mahler-Lech theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A short solution for the HDT0L sequence equivalence problem
+Normal rank
@@ Property / cites work @@
+A polynomial bound for certain cases of the D0L sequence equivalence problem
+Normal rank
@@ Property / cites work @@
+The equivalence problem of polynomially bounded D0L systems -- a bound depending only on the size of the alphabet
+Normal rank
@@ Property / cites work @@
+An \(n^2\)-bound for the ultimate equivalence problem of certain D0L systems over an \(n\)-letter alphabet
+Normal rank
@@ Property / cites work @@
+A new bound for the D0L sequence equivalence problem
+Normal rank
@@ Property / cites work @@
+On the equivalence problem for binary DOL systems
@@ Property / cites work: On the equivalence problem for binary DOL systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5622279
@@ Property / cites work: Q5622279 / rank @@
+Normal rank
@@ Property / cites work @@
+On a theorem of Marshall Hall
@@ Property / cites work: On a theorem of Marshall Hall / rank @@
+Normal rank
@@ Property / cites work @@
+Q4746787
@@ Property / cites work: Q4746787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753495
@@ Property / cites work: Q3753495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265630
@@ Property / cites work: Q4265630 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit test sets for iterated morphisms in free monoids and metabelian groups
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+The zero multiplicity of linear recurrence sequences
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3515467