Inductive invariants for nested recursion

DOI10.1007/10930755_17zbMATH Open1279.68289OpenAlexW1505809024MaRDI QIDQ3559770FDOQ3559770

Authors:

Publication date: 7 May 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/10930755_17

Recommendations

• scientific article; zbMATH DE number 1670762
• Partial and nested recursive function definitions in higher-order logic
• Termination of nested and mutually recursive algorithms
• Simple general recursion in type theory
• scientific article; zbMATH DE number 1863381

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Title not available (Why is that?)
• Partiality and recursion in interactive theorem provers -- an overview
• Partial and nested recursive function definitions in higher-order logic
• Recursive proofs for inductive tree data-structures

This page was built for publication: Inductive invariants for nested recursion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3559770)