![Computer 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 Computer 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](https://www.pdfsearch.io/img/f7c65d56b8d510323ca7506a4aa2d9e2.jpg) 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
|