Stack and locally finite transformations on structures with reversible transitions (Q3332226): Difference between revisions

@@ Property / author @@
-Q220283
@@ Property / author: Q220283 / rank @@
-Normal rank
@@ Property / author @@
+Anatoly V. Anisimov
@@ Property / author: Anatoly V. Anisimov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055582
@@ Property / cites work: Q4055582 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on recursion elimination
@@ Property / cites work: Notes on recursion elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919065
@@ Property / cites work: Q3919065 / rank @@
+Normal rank
@@ Property / cites work @@
+A system which automatically improves programs
@@ Property / cites work: A system which automatically improves programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3049808
@@ Property / cites work: Q3049808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3049806
@@ Property / cites work: Q3049806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055144
@@ Property / cites work: Q4055144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195975
@@ Property / cites work: Q4195975 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+An efficient machine-independent procedure for garbage collection in various list structures
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Structural equivalence of context-free grammars
@@ Property / cites work: Structural equivalence of context-free grammars / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01070102
+Normal rank
@@ Property / OpenAlex ID @@
+W2006782631
@@ Property / OpenAlex ID: W2006782631 / rank @@
+Normal rank