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

@@ 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