TY  - THES
AU  - Lozano Díaz, Jaime
AU  - Vílchez Rodríguez, Gonzalo
A3  - Riesco Rodríguez, Adrián
PY  - 2024
UR  - https://hdl.handle.net/20.500.14352/110735
AB  - Este proyecto consiste en hacer una interfaz web para poder trabajar con las herramientas CafeInMaude y CITP, las cuales son demostradores de teoremas; implementados en el lenguaje Maude, de forma más intuitiva.CafeInMaude es una herramienta que...
AB  - This project consists of making a web interface to be able to work with the tools CafeInMaude and CITP, which are theorem provers; implemented in the Maude language, in a more intuitive way.CafeInMaude is a tool that allows working with the CafeOBJ...
LA  - spa
KW  - Maude
KW  - CafeInMaude
KW  - CITP
KW  - CafeOBJ
KW  - Aplicación web
KW  - Pexpect
KW  - Maude
KW  - CafeInMaude
KW  - CITP
KW  - CafeOBJ
KW  - Web application
KW  - Pexpect
TI  - Interfaz web para demostradores de teoremas en MAUDE
T2  - Web interface for theorem provers implemented in MAUDE
M3  - bachelor thesis
ER  -