Controlled Term Rewriting (Q3172893): Difference between revisions

@@ Property / describes a project that uses @@
+Timbuk
@@ Property / describes a project that uses: Timbuk / rank @@
+Normal rank
@@ 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/978-3-642-24364-6_13
+Normal rank
@@ Property / OpenAlex ID @@
+W1666446684
@@ Property / OpenAlex ID: W1666446684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804925
@@ Property / cites work: Q4804925 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
+Normal rank
@@ Property / cites work @@
+Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
+Normal rank
@@ Property / cites work @@
+Visibly Pushdown Languages and Term Rewriting
@@ Property / cites work: Visibly Pushdown Languages and Term Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705604
@@ Property / cites work: Q4705604 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable call-by-need computations in term rewriting
+Normal rank
@@ Property / cites work @@
+Top-down tree transducers with regular look-ahead
@@ Property / cites work: Top-down tree transducers with regular look-ahead / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis over term rewriting systems
@@ Property / cites work: Reachability analysis over term rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic datalog and the expressive power of languages for Web information extraction
+Normal rank
@@ Property / cites work @@
+Pushdown tree automata
@@ Property / cites work: Pushdown tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Deleting string rewriting systems preserve regularity
+Normal rank
@@ Property / cites work @@
+Flow analysis of lazy higher-order functional programs
+Normal rank
@@ Property / cites work @@
+Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Classes of languages and linear-bounded automata
@@ Property / cites work: Classes of languages and linear-bounded automata / rank @@
+Normal rank
@@ Property / cites work @@
+Context-sensitive rewriting strategies
@@ Property / cites work: Context-sensitive rewriting strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Typechecking for XML transformers
@@ Property / cites work: Typechecking for XML transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability for left-linear growing term rewriting systems.
+Normal rank
@@ Property / cites work @@
+Query automata over finite trees
@@ Property / cites work: Query automata over finite trees / rank @@
+Normal rank
@@ Property / cites work @@
+One-sided and two-sided context in formal grammars
+Normal rank
@@ Property / cites work @@
+Tree automata for rewrite strategies
@@ Property / cites work: Tree automata for rewrite strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic tree pushdown automata and monadic tree rewriting systems
+Normal rank