Logic Colloquium 2022

Speaker

Moritz Müller

Personal page
Talks at this conference:
 Thu, 10:20 Automating Resolution is NP-hard ! Live

 Overview

If you encounter any issues with this website, please get in touch with Léo Exibard.