Rewriting with equivalence relations in ACL2 (Q928668): Difference between revisions

@@ Property / cites work @@
+Q4016540
@@ Property / cites work: Q4016540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040283
@@ Property / cites work: Q4040283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231030
@@ Property / cites work: Q4231030 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured theory development for a mechanized logic
+Normal rank
@@ Property / cites work @@
+Special relations in automated deduction
@@ Property / cites work: Special relations in automated deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank