Catálogos de Bibliotecas 2 Revistas 1

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 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 Learning 2 Verbal Learning 2 direccionalidad 2 directionality 2 emparejamiento con la muestra 2 equivalence relations 2 estructura de entrenamiento 2 priming semántico 2 relaciones de equivalencia 2 semantic priming 2 training structures 2 ALGEBRA DE BOOLE 1 AXIOMAS 1