The articles [22], [14], [25], [15], [1], [20], [3], [4], [16], [26], [11], [13], [12], [5], [6], [21], [9], [8], [10], [2], [7], [18], [23], [19], [24], and [17] provide the notation and terminology for this paper. For simplicity, we adopt the following convention: x, y, X are sets, m, n are natural numbers, O is an ordinal number, and R, S are binary relations. Let D be a set, let f be a part...

Der Beitrag stellt auf Basis einer ersten empirischen Untersuchung den Status Quo des Geschäftsprozessmanagements (GPM) in der kommunalen Wirtschaftsförderung dar. Obwohl GPM in der öffentlichen Verwaltung ein Instrument von wachsender Bedeutung darstellt, wurde der Bereich kommunaler Selbstverwaltung hierzu bislang wissenschaftlich nicht evaluiert. Die vorliegende qualitative Voruntersuchung b...

In this paper we show how the abstract behaviours of higherorder systems can be modelled as final coalgebras of suitable behavioural functors. These functors have the challenging peculiarity to be circularly defined with their own final coalgebra. Our main contribution is a general construction for defining these functors, solving this circularity which is the essence of higher-order behaviours...

SUMMARY We present a new solution to the tree drawing problem that integrates an excellent tree drawing algorithm into one of the best text processing systems available. More precisely, we present a T E X macro package called TreeT E X that produces drawings of trees from a purely logical description. Our approach has three advantages: labels for nodes can be handled in a reasonable way; portin...