In this paper, we generalize to a relative situation a result of Bismut [B2] on the Quillen metric associate to a singular bration. To establish our results, we make essential use of the immersion theorem of Bismut for analytic torsion forms [B3]. MIRAMARE { TRIESTE November 1998 1 Address after 1 December 1998. E-mail: [email protected] R esum e {L'objet de cet article est d' etu...

Observability concepts contribute to a better understanding of software correct-ness. In order to prove observational properties, the powerful concept of Context Induction has been developed by Hennicker Hen91]. We propose in this paper to embed Context Induction in the implicit induction framework of BR95]. The proof system we obtain applies to conditional speciications. It allows for many rew...

Species of Diaporthe are important plant pathogens of a wide range of hosts worldwide. In the present study the species causing melanose and stem end rot diseases of Citrus spp. are revised. Three species of Diaporthe occurring on Citrus are characterised, including D. citri, D. cytosporella and D. foeniculina. Morphology and phylogenetic analyses of the complete nuclear ribosomal internal tran...

The molecular features of Pseudomonas syringae pv. actinidiae strains isolated in Korea were compared with strains isolated in Japan and Italy. Sequencing of eight P. syringae pv. actinidiae and three P. syringae pv. theae strains revealed a total of 44 single nucleotide polymorphisms across 4,818 bp of the concatenated alignment of nine genes. A multiplex PCR assay was developed for the detect...

Previous studies have shown that our understanding of species diversity within Diaporthe (syn. Phomopsis) is limited. In this study, 49 strains obtained from different countries were subjected to DNA sequence analysis. Based on these results, eight new species names are introduced for lineages represented by multiple strains and distinct morphology. Twelve Phomopsis species previously described...