Espacios de reducción en sistemas de reescritura no-secuenciales e infinitarios

Mostrar todas las versiones(3)

En esta tesis estudiamos distintos aspectos ligados al espacio de reducción de diversos sistemas de reescritura. Los sistemas abarcados presentan características que hacen que el estudio de sus espacios de reducción diste de ser una tarea sencilla. Las principales contribuciones son: (1) se define u...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Lombardi, Carlos Alberto
Otros Autores: Ríos, Alejandro Norberto
Formato: Tesis doctoral publishedVersion
Lenguaje:Inglés
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2014
Materias:
REESCRITURA
ESTANDARIZACION
ESTRATEGIAS DE REDUCCION NORMALIZANTES
EQUIVALENCIA ENTRE REDUCCIONES
CALCULOS CON PATRONES
CALCULOS CON SUSTITUCIONES EXPLICITAS
REESCRITURA INFINITARIA
SISTEMAS ABSTRACTOS DE REESCRITURA
PROOF TERMS
REWRITING
STANDARDISATION
NORMALISING REDUCTION STRATEGIES
EQUIVALENCE OF REDUCTIONS
PATTERN CALCULI
CALCULI WITH EXPLICIT SUBSTITUTIONS
INFINITARY REWRITING
ABSTRACT REWRITING SYSTEMS
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n5644_Lombardi
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares