%0 Thesis %1 kahrs1991l63rewriting %A Kahrs, Stefan %D 1991 %K %T _l63-rewriting Lambda-rewriting

@phdthesis{kahrs1991l63rewriting, added-at = {2023-12-13T01:48:17.000+0100}, author = {Kahrs, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2a5bc574d9618860158f1469dca9d9152/admin}, dnbtitleid = {910609489}, interhash = {76ae8ade222c4340e15184ba0cf37d00}, intrahash = {a5bc574d9618860158f1469dca9d9152}, keywords = {}, school = {Uni Bremen}, timestamp = {2023-12-13T01:48:17.000+0100}, title = {_l63-rewriting [Lambda-rewriting]}, year = 1991 }