Just-in-time (Q2841222): Difference between revisions

@@ Property / describes a project that uses @@
+ATERM
@@ Property / describes a project that uses: ATERM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699301
@@ Property / cites work: Q4699301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767014
@@ Property / cites work: Q2767014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805891
@@ Property / cites work: Q3805891 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Rewriting with Strategy Annotations
+Normal rank
@@ Property / cites work @@
+Q4938609
@@ Property / cites work: Q4938609 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703699
@@ Property / cites work: Q2703699 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)00267-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1516440063
@@ Property / OpenAlex ID: W1516440063 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2841222