Niklas Mück

Orcid: 0009-0006-9622-0762

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions.
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions.
Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023


  Loading...