Recognizable sets of power series over finite fields (Q1695187): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.crma.2015.12.015
+Normal rank
@@ Property / OpenAlex ID @@
+W2209966527
@@ Property / OpenAlex ID: W2209966527 / rank @@
+Normal rank
@@ Property / cites work @@
+On Omega-Languages Defined by Mean-Payoff Conditions
+Normal rank
@@ Property / cites work @@
+Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués
+Normal rank
@@ Property / cites work @@
+Q4440899
@@ Property / cites work: Q4440899 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
+Normal rank
@@ Property / cites work @@
+Q3312199
@@ Property / cites work: Q3312199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722056
@@ Property / cites work: Q4722056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+LOGICAL CHARACTERIZATION OF RECOGNIZABLE SETS OF POLYNOMIALS OVER A FINITE FIELD
+Normal rank
@@ Property / cites work @@
+The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable
+Normal rank