Superposition for Higher-Order Logic

05/10/2021

11.45

Online

Superposition for Higher-Order Logic

A. Bentkamp

prof.dr. W.J. Fokkink, dr. J.C. Blanchette, dr. U. Waldmann

Faculty of Science

Sciences

PhD conferral

More information about the thesis

Livestream: https://www.youtube.com/channel/UCnN8TaVYe83472ewz9CH9HA