Andrej Dudenhefner

Identifiers

• name variant Andrej Dudenhefner 0.60 · backfill

Papers (4)

1. Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) cs.LO · 2022 · author #1
2. Mixin Composition Synthesis based on Intersection Types cs.LO · 2017 · author #3
3. Rank 3 Inhabitation of Intersection Types Revisited (Extended Version) cs.LO · 2017 · author #1
4. The Algebraic Intersection Type Unification Problem cs.LO · 2016 · author #1

Mentions

• 2208.13428 #1 · arxiv_oai · confidence 0.70 Andrej Dudenhefner
• 1712.06906 #3 · arxiv_oai · confidence 0.70 Andrej Dudenhefner
• 1611.05672 #1 · arxiv_oai · confidence 0.70 Andrej Dudenhefner
• 1705.06070 #1 · arxiv_oai · confidence 0.70 Andrej Dudenhefner

Frequent Coauthors

• Jakob Rehof 3 shared papers
• Boris D\"udder 1 shared papers
• Jan Bessai 1 shared papers
• Moritz Martens 1 shared papers
• Tzu-Chun Chen 1 shared papers
• Ugo de'Liguoro 1 shared papers