Estadísticas del PDF: Inserción y fusión con listas ordenadas: un ejemplo de razonamiento automático con ACL2

Inserción y fusión con listas ordenadas: un ejemplo de

razonamiento automático con ACL2

F. Palomo Lozano

, I. Medina Bulo

y

y
ffrancisco.palomo; [email protected]
y

, J. A. Alonso Jiménez

Departamento de Lenguajes y Sistemas Informáticos

Universidad de Sevilla

[email protected]



y



Departamento de Ciencias de la Computación e Inteligencia Artificial

Universidad de Cádiz

Palabras clave: Lógica Computacional, métodos formales, razonamiento automático, len-
guaje de programac...