Felix Jahn
According to our database1,
Felix Jahn
authored at least 4 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2023
2024
0
1
2
3
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024
2023
Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-One and Truth-Table Reducibility in Coq.
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023
A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl).
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023