Proving mutual termination (Q746783): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-015-0234-3
@@ Property / DOI: 10.1007/s10703-015-0234-3 / rank @@
-Normal rank
@@ Property / cites work @@
+Q5626273
@@ Property / cites work: Q5626273 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Inference rules for proving the equivalence of recursive procedures
+Normal rank
@@ Property / cites work @@
+Q3883524
@@ Property / cites work: Q3883524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Collatz 3n + 1 Algorithm
@@ Property / cites work: On the Collatz 3n + 1 Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Modularly Comparing Programs Using Automated Theorem Provers
+Normal rank
@@ Property / DOI @@
+.1007/S10703-015-0234-3
@@ Property / DOI: 10.1007/S10703-015-0234-3 / rank @@
+Normal rank