Der Sammelband behandelt ausgewählte Aspekte des Zusammenwachsens von Ost- und Westdeutschland 25 Jahre nach der Wiedervereinigung: Dominieren Gemeinsamkeiten oder Unterschiede das Verhältnis beider Landesteile zueinander? Neben Gesamtbilanzen zur Demokratieentwicklung und zur politischen Kultur stehen Politikfeldanalysen wie die Sozial-, Bildung- und Zuwanderungspolitik im Mittelpunkt. / The book analyzes selected aspects of the reunification of East and West Germany after 25 years: Dominate similarities or differences the relationship between the two parts of the country to each other? The volume focuses on overviews about the development of democracy and political culture as well as on social, education- and immigration policy.

LL.M. (International Commercial Law) / The principle of party autonomy is a fundamental characteristic of private international law. The contracting parties’ freedom of choice regarding the law governing their contract is one which optimises the fundamental principle of party autonomy. It is generally accepted that a choice of a governing law by the parties should be respected by adjudicating bodies such as domestic courts and arbitral tribunals. It would often benefit contracting parties to choose a neutral legal system so that there will be a “fair playing field” in case a dispute arises between them. However, some domestic legal systems and regional, supranational and international commercial instruments limit the choice of law to that of a recognised domestic legal system. Accordingly, choosing the UNIDROIT Principles on International Commercial Contracts as governing law will, in most cases, not be a viable option for the parties concerned. Such a limitation on the choice of a governing law does not promote the fundamental principle of party autonomy, which is characteristic of private international law. Parties to an international commercial contract should be able to choose a non-state system of law to govern their contract. The UNIDROIT Principles of International Commercial Contracts provide a comprehensive, complete and easily obtainable system of law compiled by legal experts in the various fields which form part of international commercial law. It follows a via media system of law with regards to Civil Law and Common Law legal systems. This paper will discuss the principle of party autonomy, as well as the possibility of a choice of non-state law, in particular the UNIDROIT Principles of International Commercial Contracts, as the law governing an international commercial contract. The choice of law will be discussed with reference to the position taken in domestic courts as well as that in international arbitration. To review the impact and success of the UNIDROIT Principles in the realm of international commercial contracting, various international commercial instruments will be discussed.

The topic of my diploma thesis is "The sales contract in international business transactions". The development of international trade is currently thriving, as evidenced by the fact that the significance of the international trade in the Czech Republic continues to grow. The reason I chose this topic is that the international sales contract is one of the most important contract in the field of international trade and I decided to expand my knowledge on that field. The diploma thesis analyzes the international sales contract in relation to the historical development of the term international sales contract, to its definition, legislation and unification efforts in the field of international sales contract legislation. The diploma thesis is structured into three chapters. The first chapter is devoted to the term sales contract in international business transactions. It contains the basic characteristics of the sales contract in Czech law, the characteristics of the term international business transactions and the largest part of this chapter is concerned with the historical development of the international sales contract and United Nations Convention on Contracts for the International Sale of Goods, as the basic legislation in relation to the international sales contract. The second chapter is...

A unificação Alemã, ocorrida ao longo dos anos 1980, culminou na derrubada do muro de Berlim em 1989, foi o resultado do processo de ruptura e desagregação advindo da derrota do Eixo na Segunda Guerra Mundial (19391945), associado à fragmentação gerada da partilha do território alemão entre os aliados (particularmente entre Estados Unidos e União soviética, e dos movimentos geopolíticos da Guerra Fria). O colapso da Guerra Fria unificou a Alemanha dividida, e esta é resultado da Guerra Fria. Esta dissertação busca captar e perceber um momento de reconstituição do território alemão em um contexto em que este é não apenas estrategicamente relevante para o desenvolvimento do Capitalismo em sua fase de expansão globalista, mas também para o posicionamento estratégico dos diferentes territórios na miríade da União Europeia. A Alemanha se unificou, em 1990, assim, não apenas pelo interesse dos alemães, mas pelo interesse dos Europeus e do próprio Capital. Este é um estudo sobre os aspectos históricoeconômicos das características, condições e impactos do processo de reintegração territorial da Alemanha, ocorrida ao longo dos últimos decênios do século XXI. / The process of German unification during the 1980s, culminating in the overthrow of the Berlin wall in 1989, was the result of the dialectical process of rupture and disintegration arising from the defeat of the Axis in World War II (19391945), associated with the fragmentation generated by the sharing of German territory between the allies (particularly between the United States and the Soviet Union, and the geopolitical territory, and the geopolitical movements of the Cold War). The collapse of the Cold War unified Germany divided territory, and this is a result of the Cold War. This dissertation seeks to capture and perceive a moment of reconstitution of German territory in a context in which it is not only strategically relevant for the development of Capitalism in its phase of globalist expansion but also for the strategic positioning of the different territories in the myriad of the European Union. Germany was unified in 1990, thus, not only by the interest of the Germans, but by the interest of the Eupeans and of the Capital itself. This is a study on the historicaleconomic aspects of the characteristics, conditions and impacts of this process of territorial reintegration of Germany, which occurred during the last decades of the 21st century.

Conservative international thought in Victorian Britain is a prominent landmark in the landscape of international thought which has up to now gone unmapped. In illuminating this body of thought, the thesis addresses weaknesses present in three different historiographies. As the first detailed study of conservative international thought in Victorian Britain, the thesis rectifies a marked bias in Victorian intellectual history towards the study of liberal and radical thought. Furthermore, by analysing the political thought of major representatives of the conservative educated classes, this thesis provides context for the history of conservative high politics, thereby leading us to view these in a different light. Finally, this study, by providing a historically nuanced account of the evolution of major themes of international relations theory in mid-Victorian Britain, functions as a corrective to the self-history of the academic field of International Relations. The thesis makes its argument by analysing conservative contributions in periodicals, pamphlets, and newspapers to British public debates on international affairs, from the Crimean War (1854-56) until the Eastern Question crisis of 1876-80. The general claim of this thesis is that there existed a distinctly conservative perspective on the international sphere. The core elements of this conservative perspective were the primacy of statesmen in setting foreign policy; of interests, military force, and stature in determining the course of international politics; and of order and equilibrium as its normative content. Conservative authors used this constellation of ideas in the major debates of the mid-Victorian era on international affairs, both as a means to make sense of events, and as a counterpoint to liberal narratives - with which Victorian international thought is all too often identified. In recovering the international political thought of Victorian conservatives, this thesis illuminates an important but neglected aspect of how international relations were understood and conceptualised in mid-Victorian Britain.

No description available.

MLF est un système de types combinant le polymorphisme implicite de seconde classe de ML avec le polymorphisme de première classe mais explicite du Système F. Nous proposons une représentation des types de MLF qui superpose un graphe acyclique orienté du premier ordre (encodant la structure du type avec partage) et un arbre inversé (encodant la structure de lieurs du type). Cela permet une définition simple et directe de l'instance sur les types, qui se décompose en une instance sur la structure du type, des opérations simples sur l'arbre de lieurs, et un contrôle acceptant ou rejetant ces opérations. En utilisant cette représentation, nous présentons un algorithme d'unification sur les types de MLF ayant une complexité linéaire.<br /><br />Nous étendons ensuite les types graphiques en un système de contraintes graphiques permettant l'inférence de types à la fois pour ML et MLF. Nous proposons quelques transformations préservant la sémantique de ces contraintes, et donnons une stratégie pour utiliser ces transformations afin de résoudre les contraintes de typage. Nous montrons que l'algorithme résultant a une complexité optimale pour l'inférence de types dans MLF, et que, comme pour ML, cette complexité est linéaire sous des hypothèses raisonnables.<br /><br />Enfin, nous présentons une version à la Church de MLF, appelée xMLF, dans laquelle tous les paramètres de fonctions, toutes les abstractions de type et toutes les instantiations de types sont explicites. Nous donnons des règles de réduction pour réduire les instantiations de types. Le système obtenu est confluent lorsque la réduction forte est autorisée, et vérifie la propriété de réduction du sujet. Nous montrons aussi le lemme de progression pour des stratégies faibles de réduction, dont l'appel par nom et l'appel par valeur en restreignant ou non le polymorphisme aux valeurs. Nous proposons un encodage de MLF dans xMLF qui préserve les types, ce qui assure la sureté de MLF.

Ce mémoire présente l'étude d'une approche particulière des langages de programmation logico-fonctionnels, fondée sur la logique des clauses de Horn avec égalité. Nous définissons d'abord la syntaxe et la sémantique des programmes que nous considérons. La syntaxe est celle de la logique des clauses de Horn avec égalité. La sémantique est donnée par le plus petit e-modele de Herbrand associe a un programme. Nous nous intéressons ensuite au calcul dans ce langage. Nous proposons pour cela une nouvelle règle appelée sldei-resolution comme seule règle de calcul. Nous montrons sa cohérence, sa complétude ainsi que sa completude forte. La mise en œuvre de la règle sldei-resolution nécessite un algorithme de resolution d'équations. Nous étudions de tels algorithmes fondes sur la relation de surreduction, et améliorons ces algorithmes par l'utilisation de stratégies de surreduction. Cependant, ces stratégies ne sont pas complètes dans le cas général. Nous proposons alors des conditions suffisantes sur ces stratégies afin de préserver la complétude des algorithmes considérés. Nous caractérisons ensuite une classe de programmes, dits uniformes, pour lesquels l'utilisation de n'importe quelle stratégie de surreduction donne un algorithme complet de resolution d'équations. Nous donnons de plus une methode de vérification de l'uniformité d'un programme. Par ailleurs, nous proposons des conditions syntaxiques pour qu'un programme soit uniforme. Enfin, nous décrivons les principaux traits d'un langage de programmation fonde sur l'approche présentée dans ce mémoire, et l'implantation que nous avons réalisée

Dans le cadre du projet OPALE, ayant pour objectif la conception d'une machine base de connaissance PROLOG, on spécifie un opérateur devant réaliser l'unification au vol sur un flux de données issu d'une unité de disque. Pour améliorer les performances de l'interprétation de PROLOG dans un contexte base de connaissances, cet opérateur doit unifier non pas un mais un ensemble de buts ce, en accord avec la stratégie de recherche élaborée. On propose de décomposer l'unification en une étape de préunification suivie d'une étape d'association. Les algorithmes sont alors validés et intégrés en une maquette logicielle. Nous abordons l'aspect matériel en proposant une méthodologie de conception s'appuyant sur des notions développées dans la programmation orientée objet. Puis nous amorçons la réalisation du «circuit» à l'aide d'un compilateur de silicium

Il existe de nombreux démonstrateurs automatiques qui effectuent des raisonnements modulo une théorie équationnelle, c'est-à-dire enconsidérant non pas des termes, mais des classes d'équivalence de termes. En général, les travaux accomplis dans ce domaine ont pour but de concevoir des techniques pour faire de la déduction modulo une théorie particulière. Dans [Avenhaus & Plaisted, 2001], Jürgen Avenhaus et David Plaisted ont cherché à déterminer des techniques qui pourraient être employées dans le traitement non plus d'une théorie particulière, mais de toute une classe de théories équationnelles: les théories permutatives. Les auteurs ont introduit les notions de terme stratifié et d'ensemble stratifié, et décrit les procédures qui devraient être implémentées dans un démonstrateur automatique basé sur ces termes stratifiés. Les propriétés de régularité de ces théories font qu'il est possible d'employer des techniques efficaces de théorie algorithmique des groupes pour les traiter. Les auteurs espéraient que l'efficacité de ces techniques contrebalancerait le nombre élevé de clauses qui pourraient être générées dans un démonstrateur automatique basé sur ces termes stratifiés. Cependant, les algorithmes proposés pour faire de la déduction avec des termes stratifiés sont basés sur une énumération explicite des éléments des groupes, et sont donc exponentiels. Dans ce mémoire, nous développons les travaux d'Avenhaus et Plaisted, et modifions leur formalisme pour pouvoir faire l'usage le plus intensif possible des techniques de théorie algorithmique des groupes.