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
3
EQUIVALENCE OF REDUCTIONS
3
EQUIVALENCIA ENTRE REDUCCIONES
3
ESTANDARIZACION
ESTRATEGIAS DE REDUCCION NORMALIZANTES
3
INFINITARY REWRITING
NORMALISING REDUCTION STRATEGIES
3
PATTERN CALCULI
3
PROOF TERMS
3
REESCRITURA
3
REESCRITURA INFINITARIA
3
REWRITING
3
SISTEMAS ABSTRACTOS DE REESCRITURA
3
STANDARDISATION
3
-
1
-
2
-
3