Reachability in Conditional Term Rewriting Systems (Q4916227): Difference between revisions

@@ Property / describes a project that uses @@
+Timbuk
@@ Property / describes a project that uses: Timbuk / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Toward the concurrent implementation of computational systems
+Normal rank
@@ Property / cites work @@
+Q4222851
@@ Property / cites work: Q4222851 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q3819993
@@ Property / cites work: Q3819993 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in Conditional Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q2723425
@@ Property / cites work: Q2723425 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Term Rewriting Systems with Timbuk
+Normal rank
@@ Property / cites work @@
+Q4808743
@@ Property / cites work: Q4808743 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination of conditions
@@ Property / cites work: Elimination of conditions / rank @@
+Normal rank