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

@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ETPS
@@ Property / describes a project that uses: ETPS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-14203-1_23
+Normal rank
@@ Property / OpenAlex ID @@
+W1523149815
@@ Property / OpenAlex ID: W1523149815 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5747766