.............................................................................................................. iii

H is the λ-theory extending β-conversion by identifying all closed unsolvables. A long-standing open problem of H. Barendregt states that the range property holds in H. Here we discuss what we know about the problem. We also make some remarks on the λ-theory Hω (the closure of H under the ω-rule and β-conversion).

We give a proof of the generalisation of Mendes-France and Van der Poorten's recent result over an arbitrary field of positive characteristic and then by extending a result of Carlitz, we shall introduce a class of algebraically independent series.

Die Vorteile der Komponentisierung werden bereits in den Wirtschaftsbereichen der Softwareentwicklung und Produktion genutzt. Der vorliegende Artikel beschäftigt sich mit der Anwendung der Komponentisierung in der Domäne der Dienstleistungswirtschaft, den davon zu erwartenden Vorteilen sowie den Besonderheiten der Dienstleistungsdomäne in Bezug auf die Komponentisierung.

lfh and k are positive integers there exists N(h, k) such that whenever N ^ N(h, k), and the integers 1,2,...,N are divided into h subsets, at least one must contain an arithmetic progression of length k. This is the famous theorem of van der Waerden [10], dating from 1927. The proof of this uses multiple nested inductions, which result in extremely weak bounds for N{h,k). We shall define Bk to...

Der Nutzung integrierter Standardsoftware führt in den Unternehmen zu betrieblichen Abläufen, die sich von bisherigen funktionalen Zuordnungen oder geographischen Standorten lösen. Es zeigt sich, daß bestehende Führungskonzepte zur Koordination dieser globalen Geschäftsprozesse nicht ausreichen. Analog zum Paradigmawechsel in der Unternehmensorganisation ist ein Paradigmawechsel im Bereich der ...