On the Class of Predicates Decidable by Two-Way Multitape Finite Automata (Q5514601): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1145/321328.321335
+Normal rank
@@ Property / OpenAlex ID @@
+W2059359177
@@ Property / OpenAlex ID: W2059359177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4991691
@@ Property / cites work: Q4991691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541340
@@ Property / cites work: Q5541340 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Families of Languages Related to ALGOL
@@ Property / cites work: Two Families of Languages Related to ALGOL / rank @@
+Normal rank
@@ Property / cites work @@
+Operations Which Preserve Definability in Languages
+Normal rank
@@ Property / cites work @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+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 @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5514601