Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,297,873 papers from all fields of science
Search
Sign In
Create Free Account
Isabelle
Known as:
Isabelle proof assistant
, Isabelle (disambiguation)
, Isabelle software
Expand
The Isabelle theorem prover is an interactive theorem prover, a Higher Order Logic (HOL) theorem prover. It is an LCF-style theorem prover (written…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Automated reasoning
First-order logic
Formal methods
HP 9000
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Extraction of actinides by tertiary amines in room temperature ionic liquids: evidence for anion exchange as a major process at high acidity and impact of acid nature
S. Ansari
,
P. Mohapatra
,
V. Mazan
,
I. Billard
2015
Corpus ID: 97119359
Extraction of U(VI) and Pu(IV) using several tri-alkylamines such as tri-n-butylamine (TBA), tri-n-hexylamine (THA), tri-n…
Expand
2013
2013
Multilinguisme, variation, contact. Des pratiques langagières sur le terrain à l'analyse de corpus hétérogènes
Isabelle Léglise
2013
Corpus ID: 165037263
Ce memoire de synthese presente un premier chapitre de positionnements epistemologiques (pratiques langagieres, construction des…
Expand
2011
2011
Spatial analysis of bicycle use and accident risks for cyclists
Grégory Vandenbulcke-Plasschaert
2011
Corpus ID: 108929792
Most developed countries nowadays face environmental, health and mobility problems as a consequence of widespread car use…
Expand
2011
2011
Architecture: Requirements + Decomposition + Refinement
M. Spichkova
Softwaretechnik-Trends
2011
Corpus ID: 17320794
This paper focuses on the system requirements and architecture w.r.t. their decomposition and refinement: how the refinement…
Expand
2010
2010
Reasoning about memory layouts
Holger Gast
Formal Methods Syst. Des.
2010
Corpus ID: 18360024
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such…
Expand
2008
2008
A Refinement Approach to Design and Verification of On-Chip Communication Protocols
P. Böhm
,
T. Melham
Formal Methods in Computer-Aided Design
2008
Corpus ID: 8394182
Modern computer systems rely more and more on on-chip communication protocols to exchange data. To meet performance requirements…
Expand
2000
2000
Structural characterization of humic substances from an acidic peat using thermochemolysis techniques.
C. Guignard
,
L. Lemée
,
A. Amblès
2000
Corpus ID: 52062292
L'objectif general de ce travail est l'etude des formes insolubles de matiere organique (humine, acides humiques) presentes dans…
Expand
1997
1997
Role of the K-antigen subgroup of capsular polysaccharides in the early recognition process between Rhizobium meliloti and alfalfa leaves
I. Kozak
,
B. Reuhs
,
+4 authors
A. Kondorosi
1997
Corpus ID: 27080541
We used a model system to investigate the induction of plant genes by bacterial surface compounds. We have infiltrated alfalfa…
Expand
1997
1997
Art Markets and Economics: Introduction
B. Frey
1997
Corpus ID: 142541511
There are close relationships between art and social science. This is certainly one of the features which has attracted many…
Expand
Highly Cited
1993
Highly Cited
1993
Order-sorted polymorphism in Isabelle
T. Nipkow
1993
Corpus ID: 17660122
ML-style polymorphism can be generalized from a single-sorted algebra of types to an order-sorted one by adding a partially…
Expand
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)
ACCEPT & CONTINUE