Pedro Jesús Martín de La Calle

• Métodos de Tableaux para Lógicas con Declaraciones de Términos, Dominios Preordenados y Operaciones Monótonas