Searching for "Isabelle/HOL - A Proof Assistant for Higher-Order Logic" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Higher-Order Logic (HOL) is:
by David Basin, Achim D. Brucker, Jan-georg Smaus, Burkhart Wolff, David Basin — 2005
… Nipkow and Lawrence C. Paulson and Markus Wenzel, Isabelle/HOL — A Proof Assistant for Higher-Order Logic…
Add To MetaCart

Towards an Interactive Mathematical Proof Language
by Henk Barendregt
…., Amsterdam. Nipkow, T., L.C. Paulson and M. Wenzel [2002]. Isabelle/HOL — A Proof Assistant for Higher-Order…
Cited by 2 (0 self) – Add To MetaCart

α Isabelle’s Logics: HOL 1
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel — 2008
… for Higher-Order Logic provides a gentle introduction on using Isabelle/HOL in practice.Contents 1 Syntax…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB