Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2019Principality and approximation under dimensional bound
Dudenhefner, Andrej; Rehof, Jakob
Zeitschriftenaufsatz
2019Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization
Dudenhefner, Andrej; Rehof, Jakob
Zeitschriftenaufsatz
2018Mixin composition synthesis based on intersection types
Bessai, J.; Chen, T.-C.; Dudenhefner, A.; Düdder, B.; De'liguoro, U.; Rehof, J.
Zeitschriftenaufsatz
2018A Simpler Undecidability Proof for System F Inhabitation
Dudenhefner, A.; Rehof, Jakob
Konferenzbeitrag
2017The Algebraic Intersection Type Unification Problem
Dudenhefner, A.; Martens, M.; Rehof, J.
Zeitschriftenaufsatz
2017The Complexity of Principal Inhabitation
Dudenhefner, A.; Rehof, J.
Konferenzbeitrag
2017Intersection type calculi of bounded dimension
Dudenhefner, A.; Rehof, J.
Konferenzbeitrag
2017Lower end of the linial-post spectrum
Dudenhefner, A.; Rehof, J.
Konferenzbeitrag
2017Rank 3 Inhabitation of Intersection Types Revisited
Dudenhefner, A.; Rehof, J.
Preprint
2017Typability in bounded dimension
Dudenhefner, A.; Rehof, J.
Konferenzbeitrag
2016Combinatory Process Synthesis
Bessai, J.; Dudenhefner, A.; Düdder, B.; Martens, M.; Rehof, J.
Konferenzbeitrag
2016The intersection type unification problem
Dudenhefner, A.; Martens, M.; Rehof, J.
Konferenzbeitrag
2015Mixin composition synthesis based on intersection types
Bessai, J.; Dudenhefner, A.; Düdder, B.; Chen, T.-C.; De'liguoro, U.; Rehof, J.
Konferenzbeitrag