A Rewriting Semantics for Maude Strategies (Q5179141): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Stratego
@@ Property / describes a project that uses: Stratego / 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.2009.05.022
+Normal rank
@@ Property / OpenAlex ID @@
+W2111874500
@@ Property / OpenAlex ID: W2111874500 / rank @@
+Normal rank
@@ Property / cites work @@
+ELAN from a rewriting logic point of view
@@ Property / cites work: ELAN from a rewriting logic point of view / rank @@
+Normal rank
@@ Property / cites work @@
+REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
+Normal rank
@@ Property / cites work @@
+Q2844065
@@ Property / cites work: Q2844065 / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q4222856
@@ Property / cites work: Q4222856 / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction, Strategies, and Rewriting
@@ Property / cites work: Deduction, Strategies, and Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank