Name Card

Full name Familienname, Vorname
Hochrainer, Christoph
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hochrainer-2023-A pred-LL parsable typed higher-order macro system for ar...-vor.pdf.jpgHochrainer, Christoph ; Krall, Andreas A pred-LL(*) parsable typed higher-order macro system for architecture description languagesInproceedings Konferenzbeitrag Oct-2023
2Hochrainer Christoph - 2020 - Automated reasoning over Arrays in the...pdf.jpgHochrainer, Christoph Automated reasoning over Arrays in the superposition calculusThesis Hochschulschrift 2020