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.

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

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.:1 Einleitung 1 2 Die Schweigepflicht des Arztes 2 2.1 Geschichtliche Entwicklung 2 2.1.1 Historische Vorläufer 2 2.1.2 Verankerung im neueren Recht 5 2.2 Das ärztliche Berufsgeheimnis im Strafrecht 9 2.2.1 Der Normzweck des § 203 StGB 10 2.2.2 Der Tatbestand im § 203 StGB 13 2.3 Die Schweigepflicht im ärztlichen Berufsrecht 19 2.4 Prozessuale Berücksichtigung der Schweigepflicht 21 2.4.1 Das Zeugnisverweigerungrecht im Strafprozess 22 2.4.2 Das Beschlagnahmeverbot im Strafprozess 29 2.4.3 Das Zeugnisverweigerungsrecht im Zivilprozess 35 3 Offenbarungsbefugnisse und -pflichten 37 3.1 Schweigepflichtentbindung 37 3.1.1 Verfügungsberechtigter 37 3.1.2 Kenntnis der Tatsachen und Maßnahmen 38 3.1.3 Freiwilligkeit 38 3.2 Auskünfte aufgrund gesetzlicher Normen des SGB 39 3.2.1 Datenschutz im SGB 39 3.2.2 Normen des SGB V 40 3.3 Zusammenfassung 43 4 Das System der gesetzlichen Krankenversicherung 44 4.1 Geschichtliche Entwicklung 44 4.2 Strukturen und Rechtsnormen der Selbstverwaltung 48 4.2.1 Gesetzliche Krankenkassen 52 4.2.2 Kassenärztliche Vereinigungen 55 4.3 Versicherter und Vertragsarzt 58 4.4 Der Medizinische Dienst der Krankenkassen 59 5 Auskünfte des Vertragsarztes an die Krankenkasse 61 5.1 Auskünfte aufgrund expliziter gesetzlicher Normen 61 5.2 Formularauskünfte 63 5.3 Abwehr von Normkonflikten 67 Abkürzungsverzeichnis Literaturverzeichnis Anhang