The paper contains a proof of completeness of a goal-directed inference system for general E-unification with eager Variable Elimination. The proof is based on an analysis of a concept of ground, equational proof. The theory of equational proofs is developed in the first part. Solving variables in a goal is then shown to be reflected in defined transformations of an equational proof. The termination of these transformations proves termination of inferences with eager Variable Elimination.

Thesis (doctoral)--Universität zu Köln, 2001.

No description available.

Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must behave like homomorphisms on the shared signature. We determine conditions under which decidability of the validity of universal formulae in the component theories transfers to their connection. In addition, we consider variants of the basic connection scheme.

Die internationale Vereinigung der Schall- und audiovisuellen Archive feiert dieses Jahr in Dresden ihr zwanzigjähriges Bestehen. Ziel der rund 400 institutionellen und privaten Mitglieder ist es, das kulturelle Erbe an Tondokumenten und audiovisuellen Medien zu sichern, zu erforschen und der Öffentlichkeit zu vermitteln.

Die internationale Vereinigung der Schall- und audiovisuellen Archive feiert dieses Jahr in Dresden ihr zwanzigjähriges Bestehen. Ziel der rund 400 institutionellen und privaten Mitglieder ist es, das kulturelle Erbe an Tondokumenten und audiovisuellen Medien zu sichern, zu erforschen und der Öffentlichkeit zu vermitteln.

Waren die Arbeitnehmer bei den Ereignissen 1989/90 in Deutschland involviert? Die meisten Untersuchungen über die Revolution und die darauffolgende Vereinigung Deutschlands verneinen dies; die vorliegende Untersuchung behauptet aber das Gegenteil. Durch die Kontextualisierung der Dynamiken in der ost- und westdeutschen Arbeitnehmerschaft schafft sie ein neues Bild von vermeintlich bekannten Ereignissen. Die Studie untersucht die unterschiedlichen Wege auf denen die ost- und westdeutsche Arbeitnehmerschaft zu entscheidenden Akteuren 1989-1990 wurden. Zunächst stellt sie die Beteiligung der ostdeutschen Arbeitnehmer an der Revolution heraus, durch das Aufdecken von vielfältigen Überschneidungen der Entwicklungen in den Betrieben und auf der Strasse. Dynamiken innerhalb der Arbeitnehmerschaft, so zeigt die Studie, waren ein Kernbestandteil der politischen Prozesse, welche das Ende der DDR markierte. Darauffolgenden konzentriert sich die Analyse auf die Politik von vier Westdeutschen Gewerkschaften (Metall, Chemie, Medien und Öffentlicher Dienst) und ihres Dachverband (DGB) und deckt die Einrichtung eines Krisenmanagement der ostdeutschen Wirtschaftreformen, zwischen der Westdeutschen Regierung, Arbeitgebern und Gewerkschaften auf. Bereits im Februar 1990 gegründet, führte dieses formelle und informelle Abkommen zur Erhaltung der existierenden Westdeutschen Institutionen, Normen und Akteure der sozialen Systeme und industriellen Beziehungen im vereinten Deutschland. Die Kehrseite dieser institutionellen Erweiterung war die schnelle Etablierung der Gewerkschaftsstrukturen in Ostdeutschland, der letzte Aspekt, welcher in der Arbeit analysiert wird. Die schnelle Verbreitung der DGB Gewerkschaften und der Arbeitgeberverbänden war eine organisierte „tour de force“. Die Kosten für die Gewerkschaften waren die Unterwerfung der ostdeutschen Gewerkschaftsaktivisten unter die „neuen“ Gewerkschaften und die Abkehr vom Kern der programmatischen Forderungen zu Hause. / Was labour involved in the events of 1989-1990 in Germany? Most studies of the East German revolution and the subsequent unification of Germany say no. This study argues in the opposite direction and by contextualizing the dynamics of East and West German labour offers a new picture of supposedly well-known events. The study explores the different ways in which East and West German labour became crucial actors in 1989-1990. It first enlightens the participation of East German workers to the revolution, by revealing the multifaceted overlapping of developments in the shop floors and the streets. Dynamics within labour, the work shows, were a core constituent of the political processes that marked GDR''s end. The analysis then focuses on the politics of four West German unions (metal, chemistry, media, and public service) and of their federation (DGB) and unearths the setting up of a tripartite crisis management of the East German economic reforms, between the West German government, employers and unions. Set up as early as February 1990, this formal and informal agreement led to the adjunction of the "social" dimension to the Monetary, Economic and Social Union of May 1990, i.e. the preservation of the existing West German institutions, norms and actors of the social systems and industrial relations in unified Germany. The two collective bargaining partners became in charge of keeping social tension to a minimum during the economic reforms, through the tools of collective bargaining. The flipside of this institutional extension was the rapid setting up of trade unions structures in eastern Germany, a last aspect analyzed in this work. The rapid extension of the DGB unions and employers associations was an organizational "tour de force." But it came with a cost for the trade unions: the subjection of East German union activists in the "new" unions, and the renunciation to core programmatic claims at home.

Nach einer historisch fundierten Analyse der Bedeutung der ärztlichen Schweigepflicht und ihrer gegenwärtigen rechtlichen Verankerung werden Normenkonflikte insbesondere im Verhältnis zwischen Vertragsarzt und gesetzlicher Krankenversicherung herausgearbeitet und Lösungsansätze dargestellt.

Nach einer historisch fundierten Analyse der Bedeutung der ärztlichen Schweigepflicht und ihrer gegenwärtigen rechtlichen Verankerung werden Normenkonflikte insbesondere im Verhältnis zwischen Vertragsarzt und gesetzlicher Krankenversicherung herausgearbeitet und Lösungsansätze dargestellt.

Zugl.: Düsseldorf, Univ., Diss., 2005