External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions

Yannick Forster 0002, Dominik Kirst, Niklas Mück. The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions. In Aniello Murano, Alexandra Silva 0001, editors, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy. Volume 288 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Authors

Yannick Forster 0002

This author has not been identified. Look up 'Yannick Forster 0002' in Google

Dominik Kirst

This author has not been identified. Look up 'Dominik Kirst' in Google

Niklas Mück

This author has not been identified. Look up 'Niklas Mück' in Google
runs on