The undecidability of the first-order theories of one step rewriting in linear canonical systems (Q1854538): Difference between revisions

@@ Property / OpenAlex ID @@
+W2083675736
@@ Property / OpenAlex ID: W2083675736 / rank @@
+Normal rank
@@ Property / cites work @@
+Encompassment properties and automata with constraints
+Normal rank
@@ Property / cites work @@
+More problems in rewriting
@@ Property / cites work: More problems in rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for reduction properties solving
@@ Property / cites work: Automata for reduction properties solving / rank @@
+Normal rank
@@ Property / cites work @@
+The first-order theory of one-step rewriting is undecidable
+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 @@
+The first-order theory of one step rewriting in linear noetherian systems is undecidable
+Normal rank
@@ Property / cites work @@
+Undecidability of the first order theory of one-step right ground rewriting
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856727
@@ Property / cites work: Q3856727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic confluence tests and completion methods
@@ Property / cites work: Semantic confluence tests and completion methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430308
@@ Property / cites work: Q4430308 / rank @@
+Normal rank