Q2851056 (Q2851056): Difference between revisions

@@ Property / cites work @@
+Maude
@@ Property / cites work: Maude / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q2703711
@@ Property / cites work: Q2703711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703712
@@ Property / cites work: Q2703712 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703709
@@ Property / cites work: Q2703709 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2851056