Speaker
Iris van der Giessen
University of Amsterdam
Talks at this conference:
| Thu, 9:30 |
Taming proof systems towards uniform interpolation
Invited |
Speaker
| Thu, 9:30 |
Taming proof systems towards uniform interpolation
Invited |