HOL - PDFSEARCH.IO - Document Search Engine

HOL
Results: 851

#	Item
1	CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  David Hartley  Max Cordle Director  Jason Baker Deputy Director  Amber Lopez December 2, 2016 The Board will hol Add to Reading List Source URL: clark.ohioboe.com - Date: 2017-04-21 08:14:30
2	Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:35:24 Mathematical logic Type theory Computability theory Lambda calculus Theoretical computer science Model theory Higher-order logic Constructible universe Mathematics
3	Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2018-04-24 22:00:10 Software engineering Computer programming Computing Functional programming Subroutines Programming idioms Theoretical computer science Functional languages Monad Standard ML Eval Algorithm
4	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 Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:18:36 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
5	CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez May 25, 2017 The Board will hol Add to Reading List Source URL: clark.ohioboe.com - Date: 2017-05-31 15:57:59
6	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: mirror.clarkson.edu Language: English - Date: 2018-08-15 07:19:23 Type theory Theoretical computer science Proof assistants Mathematical logic Programming language theory Formal methods Lambda calculus Logic in computer science Isabelle HOL HindleyMilner type system Automated theorem proving
7	CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  David Hartley  Max Cordle Director  Jason Baker Deputy Director  Amber Lopez January 31, 2017 The Board will hol Add to Reading List Source URL: clark.ohioboe.com - Date: 2017-04-21 08:13:56
8	Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-03-05 21:15:02
9	SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber Summer School Marktoberdorf, August 9, 2005 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:34 Mathematical logic Computability theory Type theory Theoretical computer science Metalogic Model theory Lambda calculus Constructible universe Mathematics
10	Isabelle/HOL Integrated Theorem Proving Tjark Weber Cooperation of Deduction Tools Day Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-04-11 08:01:06 Mathematical logic Theoretical computer science Proof assistants Mathematics Logic in computer science Formal methods Type theory Automated theorem proving Isabelle Lambda calculus Higher-order logic HOL