Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2008

Highly Cited

2008

Isabelle, which is available from http://isabelle.in.tum.de , is a generic framework for interactive theorem proving. The… Expand

Review

2007

Review

2007

Isabelle/Isar is a generic framework for human-readable formal proof documents, both like and unlike Mizar. The Isar proof… Expand

Highly Cited

2006

Highly Cited

2006

We reconsider the well-known concept of Haskell-style type classes within the logical framework of Isabelle. So far, axiomatic… Expand

Highly Cited

2005

Highly Cited

2005

In this paper we define an inductive set that is bijective with the α-equated lambda-terms. Unlike de-Bruijn indices, however… Expand

Highly Cited

2002

Highly Cited

2002

By reading, you can know the knowledge and things more, not only about what you get from people to people. Book will be more… Expand

Highly Cited

2002

Highly Cited

2002

The basic motivation of this work is to make formal theory developments with machine-checked proofs accessible to a broader… Expand

Highly Cited

2002

Highly Cited

2002

Corporate Social Responsibility in Europe and the U.S.: Insights from Businesses’ Self-presentations

The paper compares the extent and content of businesses’ communications about corporate social responsibility (CSR) in France… Expand

Highly Cited

1999

Highly Cited

1999

Locales are a means to define local scopes for the interactive proving process of the theorem prover Isabelle. They delimit a… Expand

Highly Cited

1994

Highly Cited

1994

Foundations.- Getting started with Isabelle.- Advanced methods.- Basic use of Isabelle.- Proof management: The subgoal module… Expand

Review

1993

Review

1993

Isabelle is a generic theorem prover, designed for interactive reasoning in a variety of formal theories. At present it provides… Expand