Inference rules for proving the equivalence of recursive procedures (Q938300): Difference between revisions

@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708513
@@ Property / cites work: Q4708513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003356
@@ Property / cites work: Q4003356 / rank @@
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal arithmetic: Algorithms and mechanization
@@ Property / cites work: Ordinal arithmetic: Algorithms and mechanization / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for reasoning about equality
@@ Property / cites work: An algorithm for reasoning about equality / rank @@
+Normal rank