HOL - PDFSEARCH.IO - Document Search Engine

HOL
Results: 851

#	Item
421	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: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing
422	Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014 Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Recursion Type theory Data types Self-reference Theoretical computer science Recursive data type Corecursion Standard ML Inductive data type Computer programming Software engineering Computing
423	Be the Change… The Heritage Institute invites you to participate in the creation of a paradigm shift for our times. Add to Reading List Source URL: www.hol.edu Language: English - Date: 2013-03-07 18:09:29 Environmental social science Desmond Tutu Xhosa people Jeannette Armstrong Van Jones Environmental justice Earth Environment Activism Environmental law
424	No−Dachi Samurai Skirmish Wargame Rules Tyneside Wargames club Version 2.1 Add to Reading List Source URL: www.tynesidewargames.co.uk Language: English - Date: 2014-10-19 18:39:14 Infantry Dungeons & Dragons Dice Plate armour Hol Mounted archery Ashigaru Games Recreation Entertainment
425	HOL Formalised: Language and Overview R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-04-27 11:48:02 Formal languages Formal systems Logic in computer science Type theory HOL First-order logic Rule of inference Interpretation Axiom Logic Mathematical logic Model theory
426	ProofPower TUTORIAL PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:49 Functional languages Logic in computer science Online help Technical communication ML HOL Tutorial Logic for Computable Functions Unix Software Computing Procedural programming languages
427	HOL Formalised: Proof Development System R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:58:41 Logic in computer science Formal systems Logical syntax Philosophical logic Formal methods HOL Axiom Logic for Computable Functions Theory Logic Mathematics Mathematical logic
428	Methods and Tools for the Verification of Critical Properties Roger Bishop Jones International Computers Limited, Eskdale Road, Winnersh, Berks, England, RG11 5TT. Phone: +[removed], E-mail: [removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:55 Theoretical computer science Logic in computer science Specification language Z notation Computer security Formal specification Specification HOL Functional specification Software development Formal methods Computing
429	ProofPower Z REFERENCE MANUAL PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:52 Science HOL Theory Higher-order logic Lemmas Logic in computer science Mathematics Theoretical computer science
430	HOL Formalised: Formal Design of the Logical Kernel R.D. Arthan ICL, Eskdale Road, Winnersh, Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:59:07 Logic in computer science Formal methods HOL Automated theorem proving Metalogic DICT Theorem Theory Standard ML Logic Mathematics Theoretical computer science

UPDATE