Andrej Dudenhefner

Technische Universität Dortmund - Dortmund / Germany

Engineering & Technology / Computer Science

AD Scientific Index ID: 4566016

Dortmund University of Technology

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Technische Universität Dortmund

Andrej Dudenhefner's MOST POPULAR ARTICLES

1-) A Coq library of undecidable problems CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, 2020

2-) Combinatory logic synthesizer International Symposium On Leveraging Applications of Formal Methods …, 2014

3-) Intersection type calculi of bounded dimension ACM SIGPLAN Notices 52 (1), 653-665, 2017

4-) Combinatory process synthesis International Symposium on Leveraging Applications of Formal Methods, 266-281, 2016

5-) Typability in bounded dimension 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017

ARTICLES

Add your articles