Skip to contents

  6. Majster-Cederbaum, Mila [Other]

    The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of acomplete metric spaces

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Mannheim: Universität Mannheim / Institut für Informatik, 1989

    Published in: Manuskripte / Reihe Informatik ; 1989-001

  16. Baier, Christel [Other]; Majster-Cederbaum, Mila [Other]

    The connection between the initial and unique solutions of domain equations in the partial order and metric approach

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Mannheim: Universität Mannheim / Institut für Informatik, 1996

    Published in: Manuskripte / Reihe Informatik ; 1996-001

  19. Baier, Christel [Other]; Majster-Cederbaum, Mila [Other]

    How to interpret and establish consistency results for semantics of concurrent programming languages

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Mannheim: Universität Mannheim / Institut für Informatik, 1996

    Published in: Manuskripte / Reihe Informatik ; 1995-029