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