Logic Colloquium 2022

Talk

On extracting variable Herbrand disjunctions.

Andrei Sipos

On  Tue, 12:10 ! Livein  M209for  20min
PDF Abstract
On-site

 Overview  Program

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