Introducing well-founded function definitions in HOL

M.M. van der Voort

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	1992 International workshop on Higher Order Logic Theorem Proving and its Applications
Pages	51-65
Number of pages	15
Publication status	Published - 1 Sept 1992

Keywords

@inproceedings{874bc76ecef6445db63e5400f6f419c1,

title = "Introducing well-founded function definitions in HOL",

keywords = "METIS-119878",

author = "{van der Voort}, M.M.",

year = "1992",

month = sep,

day = "1",

language = "Undefined",

pages = "51--65",

booktitle = "1992 International workshop on Higher Order Logic Theorem Proving and its Applications",

}