PhD Defence by Alexander Bentkamp

Start date 05/10/2021

Time 11:45

Location Online

Title Superposition for Higher-Order Logic

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

Unit Faculty of Science

Category Sciences

Event type PhD conferral

To read the summary, click here.