Uniform Interpolation via Nested Sequents

  • Iris van der Giessen (Speaker)

Activity: Talk or presentation › Poster/paper presentation › Academic

Period5 Oct 2021
Event titleWorkshop on Logic, Language, Information and Computation, WoLLIC2021 (online)
Event typeConference