Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
REESCRITURA
REWRITING
4
ABSTRACT REWRITING SYSTEMS
2
CALCULI WITH EXPLICIT SUBSTITUTIONS
2
CALCULO LAMBDA
2
CALCULOS CON PATRONES
2
CALCULOS CON SUSTITUCIONES EXPLICITAS
2
COMMUTATION
2
CONFLUENCE
2
CONFLUENCIA
2
CONMUTACION
2
CONSTRUCTOR
2
DE BRUIJN INDEX
2
EQUIVALENCE OF REDUCTIONS
2
EQUIVALENCIA ENTRE REDUCCIONES
2
ESTANDARIZACION
2
ESTRATEGIA
2
ESTRATEGIAS DE REDUCCION NORMALIZANTES
2
EXPANSION
2
EXPLICIT SUBSTITUTION
2
INDICE DE BRUIJN
2
INFINITARY REWRITING
2
LAMBDA-CALCULUS
2
NORMALISING REDUCTION STRATEGIES
2
NORMALIZACION
2
NORMALIZATION
2
PATRON
2
PATTERN
2
PATTERN CALCULI
2
PERPETUALIDAD
2
-
1por Lombardi, Carlos AlbertoMaterias: “...ESTRATEGIAS DE REDUCCION NORMALIZANTES...”
Publicado 2014
Tesis doctoral publishedVersion -
2por Lombardi, Carlos AlbertoMaterias: “...ESTRATEGIAS DE REDUCCION NORMALIZANTES...”
Publicado 2014
Tesis doctoral publishedVersion -
3
-
4