Date: 2018-08-15 07:18:36Computer programming Recursion Mathematical logic Software engineering Computability theory Theory of computation Theoretical computer science -recursive function Recursive definition Well-founded relation Functional programming Pattern matching | | 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 veryAdd to Reading ListSource URL: mirror.clarkson.eduDownload Document from Source Website File Size: 288,39 KBShare Document on Facebook
|