Name Card

Full name Familienname, Vorname
Lachnitt, Hanna Elif
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kovács, Laura ; Lachnitt, Hanna ; Szeider, Stefan Formalizing Graph Trail Properties in Isabelle/HOLKonferenzbeitrag Inproceedings 2020
2Lachnitt Hanna Elif - 2020 - Formalizing graph trail properties.pdf.jpgLachnitt, Hanna Elif Formalizing graph trail propertiesThesis Hochschulschrift 2020