Introducing well-founded function definitions in HOL

M.M. van der Voort

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publication1992 International workshop on Higher Order Logic Theorem Proving and its Applications
    Pages51-65
    Number of pages15
    Publication statusPublished - 1 Sep 1992

    Keywords

    • METIS-119878

    Cite this