| Kuebler, Martin (2005): Zwei Gedanken zur hoeherstufigen Unifikation: Relevanteste Unifikatoren und Unifikation mit Fallunterscheidung. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics |
Preview |
PDF
Kuebler_Martin.pdf 587kB |
DOI: 10.5282/edoc.4829
| Item Type: | Theses (Dissertation, LMU Munich) |
|---|---|
| Subjects: | 500 Natural sciences and mathematics 500 Natural sciences and mathematics > 510 Mathematics |
| Faculties: | Faculty of Mathematics, Computer Science and Statistics |
| Language: | German |
| Date of oral examination: | 20. December 2005 |
| 1. Referee: | Schwichtenberg, Helmut |
| MD5 Checksum of the PDF-file: | c4e360e326d2e8fc7b732365e6b62851 |
| Signature of the printed copy: | 0001/UMC 15161 |
| ID Code: | 4829 |
| Deposited On: | 07. Feb 2006 |
| Last Modified: | 24. Oct 2020 09:47 |
Repository Staff Only: item control page
