Treffer 1 – 6 von 6 für Suche 'Rodenburg, P. H.', Suchdauer: 0,04s 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
    Algebraic specifications for parametrized data types the case of minimal computable algebras and parameters with equality

    Algebraic specifications for parametrized data types the case of minimal computable algebras and parameters with equality von Rodenburg, P. H.

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Manufacturing a Cartesian closed category with exactly two objects out of a c-monoid

    Manufacturing a Cartesian closed category with exactly two objects out of a c-monoid von Rodenburg, P. H., Linden, Franciscus J. van der

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    An interpolation theorem in equational logic

    An interpolation theorem in equational logic von Rodenburg, P. H., Glabbeek, Rob van

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Gauß elimination as a term rewriting system

    Gauß elimination as a term rewriting system von Rodenburg, P. H., Hoekzema, D. J.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Parallel object-oriented term rewriting: the Booleans

    Parallel object-oriented term rewriting: the Booleans von Rodenburg, P. H., Vrancken, J. L.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Specification of the fast fourier transform algorithm as a term rewriting system

    Specification of the fast fourier transform algorithm as a term rewriting system von Rodenburg, P. H., Hoekzema, D. J.

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: