Repositorios 2

reescritura 17 Rewriting 8 rewriting 8 REESCRITURA 6 REWRITING 6 Reescritura 4 ABSTRACT REWRITING SYSTEMS 3 CALCULI WITH EXPLICIT SUBSTITUTIONS 3 CALCULO LAMBDA 3 CALCULOS CON PATRONES 3 CALCULOS CON SUSTITUCIONES EXPLICITAS 3 COMMUTATION 3 CONFLUENCE 3 CONFLUENCIA 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