Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion (Q5747766): Difference between revisions

@@ Property / cites work @@
+Automated Termination Analysis for Programs with Second-Order Recursion
+Normal rank
@@ Property / cites work @@
+An introduction to mathematical logic and type theory: To truth through proof.
+Normal rank
@@ Property / cites work @@
+Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+A Mechanical Proof of the Unsolvability of the Halting Problem
+Normal rank
@@ Property / cites work @@
+All-Termination(T)
@@ Property / cites work: All-Termination(T) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4823141
@@ Property / cites work: Q4823141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255517
@@ Property / cites work: Q4255517 / rank @@
+Normal rank