Programming Systems Lab: Publications by Andrej Dudenhefner

Saarland University Computer Science

Select author:


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

Login to edit

Legal notice, Privacy policy