Undecidability of Dyadic First-Order Logic in Coq
(pdf)
Johannes Hostert, Andrej Dudenhefner, Dominik Kirst
13th International Conference on Interactive Theorem Proving (ITP 2022), Haifa, Israel
Constructive Many-one Reduction from the Halting Problem to Semi-unification
(pdf)
Andrej Dudenhefner
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Kripke Semantics for Intersection Formulas
(pdf)
Andrej Dudenhefner, Paweł Urzyczyn
Transactions on Computational Logic
The Undecidability of System F Typability and Type Checking for Reductionists
(pdf)
Andrej Dudenhefner
LICS 2021, (36th Annual ACM/IEEE Symposium on Logic in Computer Science)
Undecidability of Semi-Unification on a Napkin
(pdf)
Andrej Dudenhefner
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Paris, France