%0 Thesis %1 mitschke1976l63kalkl %A Mitschke, Gerd %D 1976 %K dnb Mathematik Physik Astronomie Informatik Kartographie %T _l63-Kalkül Lambda-Kalkül, _d63-Konversion Delta-Konversion und axiomatische Rekursionstheorie

@phdthesis{mitschke1976l63kalkl, added-at = {2015-09-09T02:42:20.000+0200}, author = {Mitschke, Gerd}, biburl = {https://www.bibsonomy.org/bibtex/2c111d46fa85178d71d33b4ebba3b4f2c/genealogie}, dnbtitleid = {800652398}, interhash = {aa181e1aea5c802b53b650463521e3b2}, intrahash = {c111d46fa85178d71d33b4ebba3b4f2c}, keywords = {dnb Mathematik Physik Astronomie Informatik Kartographie}, school = {TU Darmstadt}, timestamp = {2015-09-09T02:42:20.000+0200}, title = {_l63-Kalkül [Lambda-Kalkül], _d63-Konversion [Delta-Konversion] und axiomatische Rekursionstheorie}, type = {habilitation}, year = 1976 }