bookJan 1, 2002Closed access

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

TNTobias NipkowMWMarkus WenzelLCLawrence C. Paulson

Technical University of Munich · University of Cambridge

Abstract

No abstract available for this paper.

Citation impact

2,328
total citations
FWCI
18.85
Percentile
100%
References
0
Citations per year

Authors

3

Topics & keywords

Topics
Keywords
  • HOL
  • Recursion (computer science)
  • Protocol (science)
  • Computer science
  • Programming language
  • Functional programming
  • Proof assistant
  • Logic programming
No related works found for this paper.