Automated deduction

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

Logic and Programming Research Group (LAI)

Research line: Impact

Description of impact

Study of foundations for automated deduction in first-order logics with equality and in higher-order logics. Rewriting systems.