| 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 |
|
PDF
Kuebler_Martin.pdf 573Kb |
| Item Type: | Thesis (Dissertation, LMU Munich) | |
|---|---|---|
| Subjects: | 600 Natural sciences and mathematics 600 Natural sciences and mathematics > 510 Mathematics | |
| Faculties: | Faculty of Mathematics, Computer Science and Statistics | |
| Language: | German | |
| Date Accepted: | 20. December 2005 | |
| 1. Referee: | Schwichtenberg, Helmut | |
| Persistent Identifier (URN): | urn:nbn:de:bvb:19-48290 | |
| MD5 Checksum of the PDF-file: | c4e360e326d2e8fc7b732365e6b62851 | |
| Signature of the printed copy: | 0001/UMC 15161 | |
| ID Code: | 4829 | |
| Deposited On: | 07. Feb 2006 | (UTC) |
| Last Modified: | 16. Oct 2012 07:55 | (UTC) |
Repository Staff Only: item control page