Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
INSTITUT FR INFORMATIK DER LUDWIGMAXIMILIANSUNIVERSITT MNCHEN
 

Summary: INSTITUT FÜR INFORMATIK
DER LUDWIG­MAXIMILIANS­UNIVERSITÄT MÜNCHEN
Diplomarbeit
TERMINATION CHECKING FOR A
DEPENDENTLY TYPED LANGUAGE
Dezember 2007
Autor: Karl Mehltretter
Aufgabensteller: Prof. Martin Hofmann
Betreuer: Dr. Andreas Abel
Erklärung
Hiermit erkläre ich, dass ich die vorliegende Diplomarbeit selbständig ver-
fasst und keine anderen als die angegebenen Hilfsmittel verwendet habe.
Karl Mehltretter
1
Danksagung
Diese Diplomarbeit entstand am Lehrstuhl für Theoretische Informatik der
Universität München. Vor allem danke ich meinem Betreuer Andreas Abel
für seine tolle Unterstützung.
Desweiteren möchte ich mich bei meinen Eltern, bei Sandrine, bei Karin
und Thomas und auch bei Andy, Robert und Christian für ihren Rückhalt

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

 

Collections: Computer Technologies and Information Sciences