Estadísticas del PDF: Una teoría computacional acerca de la lógica ecuacional

Universidad de Sevilla

Departamento de Ciencias de la Computación

e Inteligencia Artificial

Una teoría computacional

acerca de la lógica ecuacional

Formalización en ACL2 de la lógica ecuacional
y demostración automática de sus propiedades

Memoria presentada por
José Luis Ruiz Reina
para optar al grado de
Doctor en Matemáticas
por la Universidad de Sevilla

V. B. Director

José Luis Ruiz Reina

D. José Antonio Alonso Jiménez

Sevilla, Junio de 2001

A mis padres, Carmen y José,

y a Inma

...