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
REWRITING
6
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
PERPETUALIDAD
3
-
1por Brizuela, MabelMaterias: “...REESCRITURA...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
2por Cattoni, SilviaMaterias: “...REESCRITURA...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
3por Brizuela, MabelMaterias: “...REESCRITURA...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)conferenceObject -
4por Brizuela, MabelMaterias: “...REESCRITURA...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
5por Ponce, HinaMaterias: “...REESCRITURA...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Moreno, Marcelo AlejandroMaterias: “...REESCRITURA...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
7
-
8por Lombardi, Carlos AlbertoMaterias: “...REESCRITURA...”
Publicado 2014
Tesis doctoral publishedVersion -
9por Lombardi, Carlos AlbertoMaterias: “...REESCRITURA...”
Publicado 2014
Tesis doctoral publishedVersion -
10
-
11
-
12
-
13
-
14
-
15