%0 Thesis %1 muck1996verifizierte %A Mück, Andy %D 1996 %K %T Eine verifizierte Implementierung funktional-logischer Programmiersprachen

@phdthesis{muck1996verifizierte, added-at = {2023-12-13T01:00:13.000+0100}, author = {Mück, Andy}, biburl = {https://www.bibsonomy.org/bibtex/29e8a60b5f144f7b3aa6636af4a186ca7/admin}, dnbtitleid = {947536213}, interhash = {6b75ec075ed24b8230b33af311afa8c6}, intrahash = {9e8a60b5f144f7b3aa6636af4a186ca7}, keywords = {}, school = {Uni München}, timestamp = {2023-12-13T01:00:13.000+0100}, title = {Eine verifizierte Implementierung funktional-logischer Programmiersprachen}, year = 1996 }