Eingang zum Volltext in SciDok
Hinweis zum Urheberrecht
Dissertation zugänglich unter
Power domain constructions
Potenzbereich-Konstruktionen
URN: urn:nbn:de:bsz:291-scidok-1887
URL: http://scidok.sulb.uni-saarland.de/volltexte/2004/188/
pdf-Format:
Dokument 1.pdf (2.535 KB)
SWD-Schlagwörter:
Potenzbereich-Konstruktion
Institut:
Fakultät:
Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
DDC-Sachgruppe:
Informatik
Dokumentart:
Dissertation
Hauptberichter:
Prof. Dr. Reinhard Wilhelm
Sprache:
Englisch
Tag der mündlichen Prüfung:
01.01.1990
Erstellungsjahr:
1990
Publikationsdatum:
06.04.2004
Kurzfassung auf Englisch:
The variety of power domain constructions proposed in the literature is put into a general algebraic framework. Power constructions are considered algebras on a higher level: for every ground domain, there is a power domain whose algebraic structure is specified by means of axioms concerning the algebraic properties of the basic operations empty set, union, singleton, and extension of functions. A host of derived operations is introduced and investigated algebraically. Every power construction is shown to be equipped with a characteristic semiring such that the resulting power domains become semiring modules. Power homomorphisms are introduced as a means to relate different power constructions. They also allow to define the notion of initial and final constructions for a fixed characteristic semiring. Such initial and final constructions are shown to exist for every semiring, and their basic properties are derived. Finally, the known power constructions are put into the general framework of this paper.
Kurzfassung auf Deutsch:
Liegt nicht vor.