Deducción automática

Villaret Auselle, Mateu (Participante)
Castro Villegas, Francisco (Participante)
Bofill Arasa, Miquel (Participante)
Suy Franch, Josep (Participante)
Coll Caballero, Jordi (Participante)
Oca Corral, Josu (Participante)

Grupo de Investigación en Lógica y Programación(LAI)

Línea de investigación: Repercusión

Descripción de la repercusión

Estudio de fundamentos para la deducción automática en lógica de primer orden con igualdad y en lógica de orden superior. Sistemas de reescritura