![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/2f3f05825227022b0561ee3a64b01c28.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: www.cl.cam.ac.ukDownload Document from Source Website File Size: 288,39 KBShare Document on Facebook
|