Doktorarbeit,

Zwei Gedanken zur höherstufigen Unifikation: relevanteste Unifikatoren und Unifikation mit Fallunterscheidung.

.
Ludwig Maximilians University of Munich, Germany, (2004)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen