Termination of Isabelle Functions via Termination of Rewriting (Q3088004): Difference between revisions

@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Certification of Automated Termination Proofs
@@ Property / cites work: Certification of Automated Termination Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix interpretations for proving termination of term rewriting
+Normal rank
@@ Property / cites work @@
+Verification of Erlang processes by dependency pairs
+Normal rank
@@ Property / cites work @@
+Certified Size-Change Termination
@@ Property / cites work: Certified Size-Change Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Partial and nested recursive function definitions in higher-order logic
+Normal rank
@@ Property / cites work @@
+Q4537516
@@ Property / cites work: Q4537516 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Termination of logic programs: Transformational methods revisited
+Normal rank
@@ Property / cites work @@
+Q5389153
@@ Property / cites work: Q5389153 / rank @@
+Normal rank
@@ Property / cites work @@
+Certification of Termination Proofs Using CeTA
@@ Property / cites work: Certification of Termination Proofs Using CeTA / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847000
@@ Property / cites work: Q4847000 / rank @@
+Normal rank