Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ABSTRACT REWRITING SYSTEMS
2
CALCULI WITH EXPLICIT SUBSTITUTIONS
2
CALCULOS CON PATRONES
2
CALCULOS CON SUSTITUCIONES EXPLICITAS
2
EQUIVALENCE OF REDUCTIONS
2
EQUIVALENCIA ENTRE REDUCCIONES
2
ESTANDARIZACION
2
ESTRATEGIAS DE REDUCCION NORMALIZANTES
2
INFINITARY REWRITING
2
NORMALISING REDUCTION STRATEGIES
2
PATTERN CALCULI
2
PROOF TERMS
2
REESCRITURA
REESCRITURA INFINITARIA
2
REWRITING
2
SISTEMAS ABSTRACTOS DE REESCRITURA
2
STANDARDISATION
2
-
1por Lombardi, Carlos AlbertoMaterias: “...REESCRITURA...”
Publicado 2014
Tesis doctoral publishedVersion -
2