Hans Zantema

Hans Zantema (1956) is 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 - 3 results of 3 for search 'Hans Zantema', query time: 0.03s Refine Results
  1. 1
    Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic
    by Hans Zantema
    Published 2012-04-01
    Get full text
    Article
  2. 2
    Stream Productivity by Outermost Termination
    by Hans Zantema, Matthias Raffelsieper
    Published 2010-01-01
    Get full text
    Article
  3. 3
    An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas
    by Olga Tveretina, Carsten Sinz, Hans Zantema
    Published 2009-09-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search