@MastersThesis{ mantel:eine-matrixcharakterisierung-fur-ein-fragment-der-linearen-logik:1996, address = {Germany}, author = {Heiko Mantel}, month = {December}, school = {TU Darmstadt}, title = {{Eine Matrixcharakterisierung f\"ur ein Fragment der Linearen Logik}}, type = {Diploma Thesis}, year = 1996 }