Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
REESCRITURA
6
REWRITING
6
Ciencias Informáticas
5
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
PATRON
3
PATTERN
3
PATTERN CALCULI
3
-
1
-
2
-
3por Lombardi, Carlos AlbertoMaterias: “...REWRITING...”
Publicado 2014
Tesis doctoral publishedVersion -
4por Lombardi, Carlos AlbertoMaterias: “...REWRITING...”
Publicado 2014
Tesis doctoral publishedVersion -
5
-
6
-
7
-
8por Bonelli, EduardoMaterias: “...Higher-order rewriting...”
Publicado 2005
Aportado por: SEDICI (UNLP)Articulo -
9
-
10
-
11