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
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
2011
Review
2011
Development of the ROV SCINI and deployment in McMurdo Sound, Antarctica
Remotely Operated Vehicles (ROVs) are powerful tools whose use has become common in many aquatic systems, for many purposes, from… 
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… 
2005
2005
Animals and ambivalence: governing farm animal welfare in the European food sector
That humans exploit animals, often in cruel ways, is not open to doubt. Reponsibility for exploitation and cruelty lies… 
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… 
2002
2002
Drugs and decision-making in the European Union
1997
1997
Art Markets and Economics: Introduction
There are close relationships between art and social science. This is certainly one of the features which has attracted many… 
Highly Cited
1993
Highly Cited
1993
Order-sorted polymorphism in Isabelle
ML-style polymorphism can be generalized from a single-sorted algebra of types to an order-sorted one by adding a partially… 
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)