Proving Infinitary Normalization.

Jörg Endrullis Clemens Grabmayer Dimitri Hendriks Jan Willem Klop Roel C. de Vrijer

Published in: TYPES (2008)

Keyphrases

preprocessing
normalization method
high quality
database
multiscale