ITU

Dagstuhl Publishing, Germany

Publisher

View graph of relations

Research outputs (2)

  1. Counting Answers to Existential Questions

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  2. The Independence of Markov's Principle in Type Theory

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

ID: 81574521