27 research outputs found
Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Ansaetze fuer eine Theorie zur Animation von Algebraischen Spezifikationen
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Sparen, wenn das Geld gerade so zum Leben reicht: Das Risiko des Abbruchs privater Altersvorsorge unter den Rahmenbedingungen von Riester-Förderung und Sozialgesetzbuch II
In Germany, supplementary old-age provision has become important for persons covered by the statutory pension insurance scheme. To promote private provision especially of low-earners the state provides financial support within the framework of the ’Riester pension". Furthermore, the Social Code II ensures that the majority of persons claiming basic income support for needy jobseekers do not have to use their private old-age savings for maintaining a livelihood. This study analyses to what extent these measures have helped stabilise the saving processes in low income groups. Based on the third wave of the household survey PASS we find that the protection rules in the Social Code II have so far played a rather minor role. Decreasing incomes, however, turn out to be of great importance for cancelling old-age pension contributions. Moreover, there is circumstantial evidence that the Riester subsidy particularly enables persons with low income to continue saving for retirement
Algebraic data type and process specifications based on projection spaces
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman