An effective proof of the well-foundedness of the multiset path ordering (Q857884): Difference between revisions

@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703866
@@ Property / cites work: Q3703866 / rank @@
+Normal rank
@@ Property / cites work @@
+An effective proof of the well-foundedness of the multiset path ordering
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / 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 @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Q3024845
@@ Property / cites work: Q3024845 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667939
@@ Property / cites work: Q3667939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734436
@@ Property / cites work: Q5734436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778883
@@ Property / cites work: Q2778883 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552751
@@ Property / cites work: Q4552751 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Analysis of Narratives with the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+An intuitionistic proof of Kruskal's theorem
@@ Property / cites work: An intuitionistic proof of Kruskal's theorem / rank @@
+Normal rank