On Term-Graph Rewrite Strategies (Q2873679): Difference between revisions

@@ Property / describes a project that uses @@
+DACTL
@@ Property / describes a project that uses: DACTL / 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.1016/j.entcs.2008.03.056
+Normal rank
@@ Property / OpenAlex ID @@
+W1983495369
@@ Property / OpenAlex ID: W1983495369 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Context Cloning for Non-Deterministic Graph Rewriting
+Normal rank
@@ Property / cites work @@
+Q3805891
@@ Property / cites work: Q3805891 / rank @@
+Normal rank
@@ Property / cites work @@
+LEAN: An intermediate language based on graph rewriting
+Normal rank
@@ Property / cites work @@
+Modeling Pointer Redirection as Cyclic Term-graph Rewriting
+Normal rank
@@ Property / cites work @@
+Q4944885
@@ Property / cites work: Q4944885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941930
@@ Property / cites work: Q4941930 / rank @@
+Normal rank
@@ Property / cites work @@
+Non Strict Confluent Rewrite Systems for Data-Structures with Pointers
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q4951112
@@ Property / cites work: Q4951112 / rank @@
+Normal rank
@@ Property / cites work @@
+Double-pushout graph transformation revisited
@@ Property / cites work: Double-pushout graph transformation revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite reductions in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Implementing term rewrite languages in DACTL
@@ Property / cites work: Implementing term rewrite languages in DACTL / rank @@
+Normal rank
@@ Property / cites work @@
+Sequentiality in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q5287535
@@ Property / cites work: Q5287535 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222811
@@ Property / cites work: Q4222811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023829
@@ Property / cites work: Q4023829 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2873679