Date: 2014-08-27 06:04:04Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing | | Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with veryDocument is deleted from original location. Use the Download Button below to download from the Web Archive.Download Document from Web Archive File Size: 288,46 KB
|