Word problem for deterministic and reversible semi-Thue systems (Q2247995): 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.1007/s00233-013-9550-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2038666277
@@ Property / OpenAlex ID: W2038666277 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3259710
@@ Property / cites work: Q3259710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5414545
@@ Property / cites work: Q5414545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586335
@@ Property / cites work: Q5586335 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5583881
@@ Property / cites work: Q5583881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5786283
@@ Property / cites work: Q5786283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5588653
@@ Property / cites work: Q5588653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5583066
@@ Property / cites work: Q5583066 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for semi-Thue systems with a few rules
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Post's correspondence problem
@@ Property / cites work: A note on Post's correspondence problem / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+Q3741057
@@ Property / cites work: Q3741057 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2247995