Treffer 1 – 5 von 5 für Suche 'Zantema, Hans', 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
    Rewrite systems for integer arithmetic

    Rewrite systems for integer arithmetic von Walters, Humphrey R., Zantema, Hans

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Binary decision diagrams by shared rewriting

    Binary decision diagrams by shared rewriting von Pol, Jaco C. van de, Zantema, Hans

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Termination modulo equations by abstract commutation with an application to iteration

    Termination modulo equations by abstract commutation with an application to iteration von Fokkink, Willem J. 1965-, Zantema, Hans

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Resolution and binary decision diagrams cannot simulate each other polynomially

    Resolution and binary decision diagrams cannot simulate each other polynomially von Groote, Jan F., Zantema, Hans

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Basic process algebra with iteration completeness of its equational axioms

    Basic process algebra with iteration completeness of its equational axioms von Fokkink, Willem J. 1965-, Zantema, Hans

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: