Il contributo analizza i legami tra la Costituzione italiana e il processo di integrazione europea, che sono in genere delineati dalle „clausole europee”: le disposizioni costituzionali – contenute nel testo originario delle Costituzioni degli Stati membri o introdotte seguito che, con formule assai variegate, consentono richiedono l’adesione all’Unione ponendo eventualmente limiti condizioni a...

English. We present Contrast-Ita Bank, a corpus annotated with discourse contrast relations in Italian. We annotate both explicit and implicit contrast relations, following the schema proposed in the Penn Discourse Treebank. We provide and discuss quantitative data about the new resource. Italiano. Presentiamo Contrast-Ita Bank, un corpus annotato con relazioni di contrasto in italiano. Abbiamo...

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...

This paper presents an application of the so-called modified quasilinean'zation method to the solution nonlinear, implicite two-point boundary-value problems. Analogously as in the explicit case the resulting algorithm exhibits the descent property in the auxiliary performance index which measures the cumulative error in the differential equations and the boundary conditions. Practical importan...