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.

2011

2011

In recent years, plethystic calculus has emerged as a powerful technical tool for studying symmetric polynomials. In particular… Expand

Is this relevant?

2005

2005

OBJECTIVE
The recently introduced Vector-system (Duerr Dental, Bietigheim-Bissingen, Germany) is recommended to be used in… Expand

Is this relevant?

2004

2004

BACKGROUND
Correct diagnosis of the presence and extent of subgingival calculus is important for periodontal treatment planning… Expand

Is this relevant?

Highly Cited

2002

Highly Cited

2002

BACKGROUND
It has been suggested that the 655 nm InGaAsP diode laser radiation can induce considerably higher amounts of… Expand

Is this relevant?

Highly Cited

1999

Highly Cited

1999

Supragingival calculus is frequent in all ages from adolescence to old age. The influence of tobacco smoking on the occurrence… Expand

Is this relevant?

1995

1995

Abstract We prove that the Lambek calculus is complete w.r.t. L-models, i.e., free semigroup models. We also prove the… Expand

Is this relevant?

Highly Cited

1994

Highly Cited

1994

The effectiveness of a newly-developed Er:YAG laser with a fiber delivery system to remove subgingival calculus was examined in… Expand

Is this relevant?

1992

1992

The present paper introduces a typing system for a version of Milner's polyadic calculus, and a typing inference algorithm linear… Expand

Is this relevant?

1992

1992

1. Unification 2. Representations and interpretations 3. Syntactic categories and semantic type 4. Fine-structure in categorical… Expand

Is this relevant?

1991

1991

Abstract We present a higher-order calculus ECC which naturally combines Coquand-Huet's calculus of constructions and Martin-Lof… Expand

Is this relevant?