Name Card

Full name Familienname, Vorname
Riener, Martin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eisenhofer-2022-Automated Instantiation of Control Flow Tracing Exercises-vor.pdf.jpgEisenhofer, Clemens ; Riener, Martin Automated Instantiation of Control Flow Tracing ExercisesInproceedings Konferenzbeitrag 8-Feb-2022
2Riener Martin - 2017 - Applications of higher-order cut-elimination.pdf.jpgRiener, Martin Applications of higher-order cut-eliminationThesis Hochschulschrift 2017
3Riener, Martin Integrating theories into inference systemsThesis Hochschulschrift2011