On multiset ordering (Q502679): Difference between revisions

@@ Property / DOI @@
-.1515/forma-2016-0008
@@ Property / DOI: 10.1515/forma-2016-0008 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A99
@@ Property / Mathematics Subject Classification ID: 06A99 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q99
@@ Property / Mathematics Subject Classification ID: 68Q99 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6671055
@@ Property / zbMATH DE Number: 6671055 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ordering
@@ Property / zbMATH Keywords: ordering / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Dershowitz-Manna ordering
@@ Property / zbMATH Keywords: Dershowitz-Manna ordering / 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