On interpretations of Presburger arithmetic in Büchi arithmetics (Q6095191): Difference between revisions

@@ Property / DOI @@
-.1134/s1064562423700655
@@ Property / DOI: 10.1134/s1064562423700655 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s1064562423700655
+Normal rank
@@ Property / OpenAlex ID @@
+W4386288123
@@ Property / OpenAlex ID: W4386288123 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Logic and \(p\)-recognizable sets of integers
@@ Property / cites work: Logic and \(p\)-recognizable sets of integers / rank @@
+Normal rank
@@ Property / cites work @@
+On the base-dependence of sets of numbers recognizable by finite automata
+Normal rank
@@ Property / cites work @@
+Presburgerness of predicates regular in two number systems
+Normal rank
@@ Property / cites work @@
+Multi-dimensional Interpretations of Presburger Arithmetic in Itself
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+BREAKING UP FINITE AUTOMATA PRESENTABLE TORSION-FREE ABELIAN GROUPS
+Normal rank
@@ Property / DOI @@
+.1134/S1064562423700655
@@ Property / DOI: 10.1134/S1064562423700655 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6095191