Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Klaus Aehlig Mathematisches Institut
 

Summary: Klaus Aehlig
Mathematisches Institut
Der Dekan
Fakut¨at f¨ur Mathematik, Informatik und Statistik
M¨unchen, 22. Juni 2009
Sehr geehrte Frau Prof. Dr. Reiss,
hiermit reiche ich meine Habilitationsschrift gem¨aß § 12, Abs. 1 Punkt 2 der Habilitations-
ordnung ein. Ich lege 5 Exemplare der Habilitationsschrift bei. Ausserdem ist diese elek-
tronisch unter http://www.linta.de/~aehlig/university/pub/thesis.ps und http://
www.linta.de/~aehlig/university/pub/thesis.pdf abrufbar. Ich erkl¨are an Eides statt,
dass ich diese Habilitationsschrift selbst verfaßt habe. Ferner erkl¨are ich, daß ich niemals,
weder mit noch ohne Erfolg, Habilitationsversuche unternommen habe und daß das an dieser
Fakult¨at laufende Habilitaitonsverfahren in Informatik das einzige laufende Habilitationsver-
fahren ist.
Ferner reiche ich hiermit gem¨aß § 12, Abs. 2, Punkt 1 die folgenden Ver¨offentlichungen aus
dem Bereich der Informatik, jedoch nicht dem Gebiet der Habilitaitonsschrift ein. Soweit es
sich hierbei um Gemeinschaftsarbeiten handelt, sind sie in gleichberechtigter Zusammenar-
beit aller Autoren entstanden.
· Klaus Aehlig. A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of
Automata. Logical Methods in Computer Science, 3(3:1), 2007.

  

Source: Aehlig, Klaus T. - Institut für Informatik, Ludwig-Maximilians-Universität München

 

Collections: Mathematics; Computer Technologies and Information Sciences