A useful device for showing the solvability of some decision problems (Q1230657): Difference between revisions

@@ Property / author @@
-Chul Eung Kim
@@ Property / author: Chul Eung Kim / rank @@
-Normal rank
@@ Property / author @@
+Chul Eung Kim
@@ Property / author: Chul Eung Kim / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Algol-Like Languages
@@ Property / cites work: Bounded Algol-Like Languages / rank @@
+Normal rank
@@ Property / cites work @@
+A Remark on Code Sets and Context-Free Languages
@@ Property / cites work: A Remark on Code Sets and Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-tape and multi-head pushdown automata
@@ Property / cites work: Multi-tape and multi-head pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on semilinear sets and bounded-reversal multihead pushdown automata
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+On Multi-Head Finite Automata
@@ Property / cites work: On Multi-Head Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded-reversal multihead finite automata languages
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1230657