Proving and rewriting (Q5096184): Difference between revisions

@@ Property / cites work @@
+Proving Properties of Programs by Structural Induction
+Normal rank
@@ Property / cites work @@
+Q3667921
@@ Property / cites work: Q3667921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880309
@@ Property / cites work: Q3880309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723263
@@ Property / cites work: Q4723263 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3719824
@@ Property / cites work: Q3719824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817573
@@ Property / cites work: Q3817573 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Q3753927
@@ Property / cites work: Q3753927 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805955
@@ Property / cites work: Q3805955 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795207
@@ Property / cites work: Q3795207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817590
@@ Property / cites work: Q3817590 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of Proof Systems for Equational Specifications
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+Normal rank
@@ Property / cites work @@
+The foundation of a generic theorem prover
@@ Property / cites work: The foundation of a generic theorem prover / rank @@
+Normal rank