Arithmetic on semigroups (Q3616353): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1231082312
+Normal rank
@@ Property / OpenAlex ID @@
+W2032467105
@@ Property / OpenAlex ID: W2032467105 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability without arithmetization
@@ Property / cites work: Undecidability without arithmetization / rank @@
+Normal rank
@@ Property / cites work @@
+On interpretability in the theory of concatenation
+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 @@
+Variants of Robinson's essentially undecidable theoryR
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5426656
@@ Property / cites work: Q5426656 / rank @@
+Normal rank