Back to Results
First PageMeta Content
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


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 very
Add to Reading List

Document Date: 2018-08-15 07:18:36


Open Document

File Size: 288,39 KB

Share Result on Facebook