Suchergebnisse

Titelgeschichte zur Gründung der Yemen Republic am 22. Mai 1990: Nach einem kurzen Abriß der Geschichte des Nord- und des Südjemen wird der Einigungsprozeß seit Mai l988 (Gipfeltreffen der beiden Staatsführer) beschrieben und die politische Gestalt der Republik Jemen dargestellt. Eingegangen wird auch auf die wichtigsten Probleme eines vereinigten Jemen, auf die Haltung der arabischen Länder (speziell Saudi-Arabien) und auf die wirtschaftliche Lage der beiden Landesteile unter besonderer Berücksichtigung der Energie- und Elektrizitätswirtschaft. (DÜI-Sdt)

We study nominal anti-unification, which is concerned with computing least general generalizations for given terms-in-context. In general, the problem does not have a least general solution, but if the set of atoms permitted in generalizations is finite, then there exists a least general generalization which is unique modulo variable renaming and α-equivalence. We present an algorithm that computes it. The algorithm relies on a subalgorithm that constructively decides equivariance between two terms-in-context. We prove soundness and completeness properties of both algorithms and analyze their complexity. Nominal anti-unification can be applied to problems were generalization of first-order terms is needed (inductive learning, clone detection, etc.), but bindings are involved. © Alexander Baumgartner, Temur Kutsia, Jordi Levy, and Mateu Villaret. ; This research has been partially supported by the Spanish project HeLo (TIN2012-33042), by the Austrian Science Fund (FWF) with the project SToUT (P 24087-N18), and by the strategic program "Innovatives OÖ 2010plus" by the Upper Austrian Government ; Peer Reviewed

When German unification took place in 1990, the government was optimistic that the process of closing the economic gap between the two Germanies would be a brief one. However, economic unification has turned out to be more costly and much more complex than anticipated. But on the other hand it is equally true that some problems have been tackled with remarkable success, especially privatization. For the reforming of eastern Europe there are several interesting aspects in these developments.

The numerous unification efforts now under way in Africa represent one of the most significant developments in the brief post-independence era of that continent. Freedom has brought withit increased recognition in many African quarters of the interdependence of the African statesand the need for unified approaches to common problems. The new countries together with the handful of older independent African states have nearly all become involved in one or more of theintensified drives toward some form of integration. Paradoxically, the issue of how to achieveunity is becoming one of the principal divisions between African states.