Login / Signup
Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus.
José Espírito Santo
Luís Pinto
Published in:
TYPES (2003)
Keyphrases
</>
rewrite systems
real world
computer vision
clustering algorithm
term rewriting