TY  - THES
AU  - Aguirre Garcia, Luis Manuel
A3  - Martí Oliet, Narciso
A3  - Palomino Tarjuelo, Miguel
A3  - Pita Andreu, Isabel
PY  - 2013
UR  - https://hdl.handle.net/20.500.14352/36320
AB  - Este trabajo presenta un estudio sobre la resolución de problemas de alcanzabilidad en teorías de reescritura con una lógica ecuacional de pertenencia subyacente, usando la técnica de estrechamiento. Para ello se han desarrollado dos cálculos, uno que...
LA  - eng
KW  - Maude
KW  - Estrechamiento
KW  - Alcanzabilidad
KW  - Logica de reescritura
KW  - Unificación
KW  - Lógica ecuacional de pertenencia
KW  - Narrowing
KW  - Reachability
KW  - Rewriting logic
KW  - Unification
KW  - Membership equational logic
TI  - Conditional narrowing modulo in Rewriting Logic and Maude
M3  - master thesis
ER  -