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

@@ Property / DOI @@
-.1007/s00236-008-0075-2
@@ Property / DOI: 10.1007/s00236-008-0075-2 / rank @@
-Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00236-008-0075-2
@@ Property / DOI: 10.1007/S00236-008-0075-2 / rank @@
+Normal rank