Treffer 1 – 7 von 7 für Suche 'Pol, Jaco C. van de', Suchdauer: 0,06s 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
    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:
  2. 2
    Equational binary decision diagrams

    Equational binary decision diagrams von Groote, Jan F., Pol, Jaco C. van de

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Operational semantics of term rewriting with priorities

    Operational semantics of term rewriting with priorities von Pol, Jaco C. van de

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Correct transformation of rewrite systems for implementation purposes

    Correct transformation of rewrite systems for implementation purposes von Fokkink, Willem J. 1965-, Pol, Jaco C. van de

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Proving termination of high-order rewrite systems

    Proving termination of high-order rewrite systems von Pol, Jaco C. van de

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    State space reduction using partial Tau-confluence

    State space reduction using partial Tau-confluence von Groote, Jan F., Pol, Jaco C. van de

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A bounded retransmission protocol for large data packets

    A bounded retransmission protocol for large data packets von Groote, Jan F., Pol, Jaco C. van de

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: