On multiset ordering (Q502679): Difference between revisions

@@ Property / DOI @@
-.1515/forma-2016-0008
@@ Property / DOI: 10.1515/forma-2016-0008 / rank @@
-Normal rank
@@ Property / cites work @@
+Semantics of MML Query - Ordering
@@ Property / cites work: Semantics of MML Query - Ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+On multiset orderings
@@ Property / cites work: On multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to formal preference spaces
@@ Property / cites work: Introduction to formal preference spaces / rank @@
+Normal rank
@@ Property / DOI @@
+.1515/FORMA-2016-0008
@@ Property / DOI: 10.1515/FORMA-2016-0008 / rank @@
+Normal rank