Treffer 1 – 4 von 4 für Suche 'Smyth, M. B.', Suchdauer: 2,27s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Power domains and predicate transformers a topological view

    Power domains and predicate transformers a topological view von Smyth, M. B.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Finitary relations and the fair merge

    Finitary relations and the fair merge von Smyth, M. B.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The category-theoretic solution of recursive domain equations

    The category-theoretic solution of recursive domain equations von Smyth, M. B., Plotkin, Gordon D.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The largest cartesian closed category of domains

    The largest cartesian closed category of domains von Smyth, M. B.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: