Rewriting higher-order stack trees (Q2411043): 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/s00224-017-9769-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1502345479
@@ Property / OpenAlex ID: W1502345479 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218128
@@ Property / cites work: Q4218128 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite presentations of infinite structures: Automata and interpretations
+Normal rank
@@ Property / cites work @@
+A Saturation Method for Collapsible Pushdown Systems
+Normal rank
@@ Property / cites work @@
+Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4818835
@@ Property / cites work: Q4818835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708567
@@ Property / cites work: Q4708567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737148
@@ Property / cites work: Q4737148 / rank @@
+Normal rank
@@ Property / cites work @@
+Transforming structures by set interpretations
@@ Property / cites work: Transforming structures by set interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738227
@@ Property / cites work: Q4738227 / rank @@
+Normal rank
@@ Property / cites work @@
+Traces of term-automatic graphs
@@ Property / cites work: Traces of term-automatic graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Higher-Order Stack Trees
@@ Property / cites work: Rewriting Higher-Order Stack Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of second-order theories and automata on infinite trees
+Normal rank
@@ Property / cites work @@
+Q2842874
@@ Property / cites work: Q2842874 / rank @@
+Normal rank