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.
2014
2014
Meaningful spatial prediction and aggregation
Highly Cited
2013
Highly Cited
2013
Reclaiming social work? an evaluation of systemic units as an approach to delivering children’s services
2013
2013
Multilinguisme, variation, contact. Des pratiques langagières sur le terrain à l'analyse de corpus hétérogènes
Ce memoire de synthese presente un premier chapitre de positionnements epistemologiques (pratiques langagieres, construction des… 
Review
2008
Review
2008
Mapping within-field soil drainage using remote sensing, DEM and apparent soil electrical conductivity
Review
2008
Review
2008
Computerizing Mathematical Text with MathLang
Highly Cited
2006
Highly Cited
2006
Stable isotopes in subtidal food webs: Have enriched carbon ratios in benthic consumers been misinterpreted?
We examined the hypothesis that the δ13C of benthic consumers is depleted in offshore, deeper waters where kelp and benthic… 
2004
2004
Benthic algae as bioindicators of agricultural pollution in the streams and rivers of southern Québec (Canada)
The objective of this study was to evaluate the effect of agricultural pollution on periphyton in streams and rivers of southern… 
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
2001
Highly Cited
2001
Specification of the JavaCard API in JML
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and… 
1993
1993
IMAGING CALCIUM WAVES IN EGGS AND EMBRYOS
Sea urchin eggs and those of most other deuterostomes are activated at fertilization by an increase in cytoplasmic free calcium… 
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)