REESCRITURA 7 REWRITING CONFLUENCE 4 CONFLUENCIA 4 ABSTRACT REWRITING SYSTEMS 3 CALCULI WITH EXPLICIT SUBSTITUTIONS 3 CALCULO LAMBDA 3 CALCULOS CON PATRONES 3 CALCULOS CON SUSTITUCIONES EXPLICITAS 3 COMMUTATION 3 CONMUTACION 3 CONSTRUCTOR 3 DE BRUIJN INDEX 3 EQUIVALENCE OF REDUCTIONS 3 EQUIVALENCIA ENTRE REDUCCIONES 3 ESTANDARIZACION 3 ESTRATEGIA 3 ESTRATEGIAS DE REDUCCION NORMALIZANTES 3 EXPANSION 3 EXPLICIT SUBSTITUTION 3 INDICE DE BRUIJN 3 INFINITARY REWRITING 3 LAMBDA-CALCULUS 3 NORMALISING REDUCTION STRATEGIES 3 NORMALIZACION 3 NORMALIZATION 3 PATRON 3 PATTERN 3 PATTERN CALCULI 3 PERPETUALIDAD 3