Niklas Mück

According to our database, Niklas Mück authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

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

Yannick Forster, Dominik Kirst, Niklas Mück

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions.

Yannick Forster, Dominik Kirst, Niklas Mück

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023