NDLTD Global ETD Search
Return to search

Zwei Gedanken zur hoeherstufigen Unifikation

No description available.
Links & Downloads
  1. http://edoc.ub.uni-muenchen.de/4829/1/Kuebler_Martin.pdf
  2. http://nbn-resolving.de/urn:nbn:de:bvb:19-48290
  3. Kuebler, Martin (2005): Zwei Gedanken zur hoeherstufigen Unifikation: Relevanteste Unifikatoren und Unifikation mit Fallunterscheidung. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
Tags
Additional Fields
Identiferoai:union.ndltd.org:MUENCHEN/oai:edoc.ub.uni-muenchen.de:4829
Date20 December 2005
CreatorsKuebler, Martin
Publisherlmu
Source SetsDigitale Hochschulschriften der LMU
Detected LanguageGerman
TypeDissertation, NonPeerReviewed
Formatapplication/pdf
Relationhttp://edoc.ub.uni-muenchen.de/4829/

Page generated in 0.0015 seconds