Felix Jahn

According to our database, Felix Jahn authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

2024

Acting for the Right Reasons: Creating Reason-Sensitive Artificial Moral Agents.

Kevin Baum, Lisa Dargasz, Felix Jahn, Timo P. Gros, Verena Wolf

CoRR, 2024

2023

Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-One and Truth-Table Reducibility in Coq.

Yannick Forster, Felix Jahn

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).

Yannick Forster, Felix Jahn, Gert Smolka

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023