Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rules. A variant of semantic labeling is predictive labeling where the quasi-model condition is only required for the usable rules. In this paper we investigate how semantic and predictive labeling can be used to prove in...

Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important technique for program verification. To capture the evaluation mechanism of a programming language one has to take care of the evaluation strategy, where we focus on the outermost strategy. As there are only few techniques available ...

Cranial meninges of humans were studied by electron microscopy after fixation in situ and histochemical demonstration of nicotinamide-adenine dinucleotide diaphorase within mitochon dria. There was an intimate fusion between the innermost portion of the dura mater (dural border cells) and the outermost portion of the arachnoid (arachnoid barrier layer). Cranial meninges did not contain a true s...

We report on the discovery of a relativistic iron Kα fluorescent emission line in the BeppoSAX spectrum of the microquasar GRS 1915+105, taken on April 19, 1998, when the line was unusually intense. The feature is broad and skewed, clearly indicating emission from the innermost regions of the accretion disc. The inner emitting orbit is larger than the innermost stable orbit, even in Schwarzschi...