PhD Defence by Alexander Bentkamp

05/10/2021

11:45

Online

Superposition for Higher-Order Logic

Supervisor: Prof. Dr. W. Fokkink, Co-Supervisors: Dr. J. Blanchette, Dr. U. Waldmann

Faculty of Science

Sciences

PhD conferral

To read the summary, click here.