Hans Zantema

Hans Zantema (1956 - 28 January 2025) was a Dutch mathematician and computer scientist, and professor at Radboud University in Nijmegen, known for his work on termination analysis. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Zantema, Hans', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Rewrite systems for integer arithmetic

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

    Published 1995
    Book Interlibrary loan Place Request


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

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

    Published 2000
    Book Interlibrary loan Place Request


    Saved 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 by Fokkink, Willem J. 1965-, Zantema, Hans

    Published 1996
    Book Interlibrary loan Place Request


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

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

    Published 2000
    Book Interlibrary loan Place Request


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

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

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: