Calculus analysis with calculus photography:Imp:Pt:Calculus:Nom

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

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

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

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

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

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

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

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

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

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