Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ABSTRACT REWRITING SYSTEMS
1
CALCULI WITH EXPLICIT SUBSTITUTIONS
1
CALCULOS CON PATRONES
CALCULOS CON SUSTITUCIONES EXPLICITAS
1
EQUIVALENCE OF REDUCTIONS
1
EQUIVALENCIA ENTRE REDUCCIONES
1
ESTANDARIZACION
1
ESTRATEGIAS DE REDUCCION NORMALIZANTES
1
INFINITARY REWRITING
1
NORMALISING REDUCTION STRATEGIES
1
PATTERN CALCULI
1
PROOF TERMS
1
REESCRITURA
1
REESCRITURA INFINITARIA
1
REWRITING
1
SISTEMAS ABSTRACTOS DE REESCRITURA
1
STANDARDISATION
1
-
1