Joining k- and l-recognizable sets of natural numbers (Q5096772): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-55210-3_175
+Normal rank
@@ Property / OpenAlex ID @@
+W1489701161
@@ Property / OpenAlex ID: W1489701161 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+On the base-dependence of sets of numbers recognizable by finite automata
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
+Normal rank
@@ Property / cites work @@
+Concatenation as a basis for arithmetic
@@ Property / cites work: Concatenation as a basis for arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+ON CERTAIN EXTENSIONS OF THE ARITHMETIC OF ADDITION OF NATURAL NUMBERS
+Normal rank
@@ Property / cites work @@
+Decision problems for multiple successor arithmetics
+Normal rank
@@ Property / cites work @@
+A note on undecidable extensions of monadic second order successor arithmetic
+Normal rank