TY  - THES
AU  - Aguirre García, Luis Manuel
A3  - Martí Oliet, Narciso
A3  - Palomino Tarjuelo,  Miguel
A3  - Pita Andreu, María Isabel
PY  - 2024
UR  - https://hdl.handle.net/20.500.14352/104764
AB  - Esta tesis es un estudio sobre cómo mejorar la eficiencia del estrechamiento condicional módulo lógicas ecuacionales de pertenencia para problemas simbólicos de alcanzabilidad en lógica de reescritura, usando el lenguaje Maude. Con este fin, se han...
AB  - This dissertation is an exploration on how to improve the efficiency of conditional narrowing modulo membership equational logic theories for symbolic reacchability problems in rewriting logic, using he Maude language. To this end, different...
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Sistemas de reescritura (Informática)
KW  - Rewriting systems (Computer science)
TI  - Conditional narrowing modulo membership equational logic theories with SMT solvers
T2  - Estrechamiento condicional módulo lógicas ecuacionales de pertenencia con resolutores SMT
M3  - doctoral thesis
ER  -