Deducció automàtica

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

Grup de Recerca en Lògica i Intel·ligència Artificial (LAI)

Línia de recerca: Impacte

Descripció de l'impacte

Estudi de fonaments per a la deducció automàtica en lògica de primer ordre amb igualtat i en lògica d'ordre superior. Sistemes de reescriptura.