MPI-INF Logo

MPI-INF D1 Publications

Search the publication database
.
Return

Your search returned the following document:

  1. Progress on Certifying Algorithms
    Kurt Mehlhorn and Pascal Schweitzer
    In: Frontiers in Algorithmics : 4th International Workshop, FAW 2010, Wuhan, China, 2010, 1-5