gefundene Verfasser Zantema, Hans

Zantema, Hans
Fokkink, Willem J. 1965-
Groote, Jan F.
Pol, Jaco C. van de
Walters, Humphrey R.

Treffer 1 - 5 von 5 für Suche 'Zantema, Hans', Suchdauer: 0,25s Treffer weiter einschränken
  1. 1
    Rewrite systems for integer arithmetic

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

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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

    Zu den Favoriten
    Gespeichert in:
  3. 3
    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

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Binary decision diagrams by shared rewriting

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

    Veröffentlicht 2000
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: