A formalization of powerlist algebra in ACL2 (Q846164): Difference between revisions

@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040283
@@ Property / cites work: Q4040283 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting with equivalence relations in ACL2
@@ Property / cites work: Rewriting with equivalence relations in ACL2 / rank @@
+Normal rank
@@ Property / cites work @@
+Odd-even sort in powerlists
@@ Property / cites work: Odd-even sort in powerlists / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537000
@@ Property / cites work: Q4537000 / rank @@
+Normal rank