Monoides parcialmente aditivos
Universität der Verteidigung: Universidad de Cantabria
Jahr der Verteidigung: 1989
- Jaime Vinuesa Tejedor Präsident/in
- Juan Llovet Verdugo Sekretär/in
- Tomás Jesús Recio Muñiz Vocal
- Benjamín Dugnol Álvarez Vocal
- Juan Pazos Sierra Vocal
Art: Dissertation
Zusammenfassung
Los monoides parcialmente aditivos fueron introducidos por arbib y manes como una estructura adecuada para el estudio de la semantica denotacional de los lenguajes de programacion, la presente memoria continuan un estudio algebraico-topologico de esta estructura del profesor bahamonde. Caracteriza ciertas familias de monoides, estudia las conexiones entre ellas, las propiedades de herencia cuando se combinan estructuras de monoide parcialmente aditivo para formar otras nuevas y, finalmente, caracteriza la topologia natural de estas estructuras en terminos de las relaciones de orden asociadas.