Skip to search formSkip to main content

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

2012

Highly Cited

2012

It is known that graphene exhibits natural ripples with characteristic lengths of around 10 nm. But when it is stretched across… Expand

Is this relevant?

Highly Cited

2009

Highly Cited

2009

An analytic formula is derived for the elastic bending modulus of monolayer graphene based on an empirical potential for solid… Expand

Is this relevant?

Highly Cited

2007

Highly Cited

2007

Foreword. About the Authors. Acknowledgments. List of Acronyms. Chapter 1: Introduction. Introduction. The Changing Climate. The… Expand

Is this relevant?

2005

2005

We extend the notion of anti-unification to cover equational theories and present a method based on regular tree grammars to… Expand

Is this relevant?

2005

2005

This research investigates the impact of electronic replenishment strategy on the operational activities and performance of a two… Expand

Is this relevant?

Highly Cited

1999

Highly Cited

1999

Abstract Knowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which swings the motivational… Expand

Is this relevant?

Highly Cited

1995

Highly Cited

1995

Linear logic: its syntax and semantics J. Y. Girard Part I. Categories and Semantics: 1. Bilinear logic in algebra and… Expand

Is this relevant?

Highly Cited

1993

Highly Cited

1993

Abstract We describe rippling: a tactic for the heuristic control of the key part of proofs by mathematical induction. This… Expand

Is this relevant?

Highly Cited

1992

Highly Cited

1992

We propose a novel approach to automating the synthesis of logic programs: Logic programs are synthesized as a by-product of the… Expand

Is this relevant?

Highly Cited

1972

Highly Cited

1972

The largest challenge facing software engineers today is to find ways to deliver large systems on schedule. Past experience… Expand

Is this relevant?