Niklas Mück

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Oracle Database

Automated Deduction

Deductive Reasoning

Monotonicity Constraints

Top Venues

Publications

Yannick Forster, Dominik Kirst, Niklas Mück
The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions. CSL (2024)
Yannick Forster, Dominik Kirst, Niklas Mück
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. CoRR (2023)
Yannick Forster, Dominik Kirst, Niklas Mück
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. APLAS (2023)