On multiset ordering (Q502679): Difference between revisions

@@ Property / DOI @@
-.1515/forma-2016-0008
@@ Property / DOI: 10.1515/forma-2016-0008 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1515/forma-2016-0008
+Normal rank
@@ Property / OpenAlex ID @@
+W2563535279
@@ Property / OpenAlex ID: W2563535279 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:502679