Skip to search formSkip to main contentSkip to account menu

Isabelle

Known as: Isabelle proof assistant, Isabelle (disambiguation), Isabelle software 
The Isabelle theorem prover is an interactive theorem prover, a Higher Order Logic (HOL) theorem prover. It is an LCF-style theorem prover (written… 
Wikipedia (opens in a new tab)

Related topics

Related topics

17 relations
Automated reasoningFirst-order logicFormal methodsHP 9000

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Satellite-derived changes in the permafrost landscape of central Yakutia, 2000-2011: wetting, drying, and fires (documentation files)
Highly Cited
2014
Highly Cited
2014
Variable exhumation rates and variable displacement rates: Documenting recent slowing of Himalayan shortening in western Bhutan
Highly Cited
2013
Highly Cited
2013
Information and Communications Security
Highly Cited
2010
Highly Cited
2010
Will climate change drive 21st century burn rates in Canadian boreal forest outside of its natural variability: collating global climate model experiments with sedimentary charcoal data.
Natural ecosystems have developed within ranges of conditions that can serve as references for setting conservation targets or… 
Review
2008
Review
2008
Mapping within-field soil drainage using remote sensing, DEM and apparent soil electrical conductivity
Highly Cited
2006
Highly Cited
2006
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
The OTS/CafeOBJ method is an instance of the proof score approach to systems analysis, which has been mainly devoted by… 
Highly Cited
2005
Highly Cited
2005
Automatic Certification of Heap Consumption
We present a program logic for verifying the heap consumption of low-level programs. The proof rules employ a uniform assertion… 
Review
2004
Review
2004
Three‐dimensional crack monitoring by electrical resistivity measurement
Soil cracks formed by natural processes play a key role in water and gas transfer. Patterns of soil cracks are, however… 
Highly Cited
2002
Highly Cited
2002
The Impacts of LBOs on the Performance of Acquired Firms: The French Case
This paper investigates the financial characteristics and changes in performance of French companies involved in a leveraged buy… 
Highly Cited
2000
Highly Cited
2000
New evidence on the pecking order hypothesis: the case of French convertible bonds
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)