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
CLASE DE EQUIVALENCIA
2
CONTEXT
2
CONTEXTO
2
EQUIVALENCE CLASS OF PROPERTIES
2
EQUIVALENCE OF REDUCTIONS
2
EQUIVALENCIA ENTRE REDUCCIONES
2
ESTANDARIZACION
2
ESTRATEGIAS DE REDUCCION NORMALIZANTES
2
HISTORIA
2
HISTORY
2
INFINITARY REWRITING
2
LATTICE
2
NORMALISING REDUCTION STRATEGIES
2
PATTERN CALCULI
2
PROOF TERMS
2
PROPERTY
2
PROPIEDAD
2
REESCRITURA
2
REESCRITURA INFINITARIA
2
RETICULO
2
REWRITING
2
SISTEMAS ABSTRACTOS DE REESCRITURA
2
STANDARDISATION
2
TIME TRANSLATION
2
TRASLACION TEMPORAL
2
-
1por Vanni, LeonardoMaterias: “...CLASE DE EQUIVALENCIA...”
Publicado 2010
Tesis doctoral publishedVersion -
2
-
3por Lombardi, Carlos AlbertoMaterias: “...EQUIVALENCIA ENTRE REDUCCIONES...”
Publicado 2014
Tesis doctoral publishedVersion -
4por Lombardi, Carlos AlbertoMaterias: “...EQUIVALENCIA ENTRE REDUCCIONES...”
Publicado 2014
Tesis Doctoral