http://www.hgesser.de/

Private Homepage von Hans-Georg Eßer

header

Navigation

Links / Social

Software

Blaue Links: intern
🔗 Rote Links: extern


Download-Bereich von Hans-Georg Eßer

Diplom- und Abschlussarbeiten | Seminararbeiten | Sonstige Dokumente

Diplom- und Abschlussarbeiten

Seminare und andere Vorträge an der RWTH Aachen

  • Seminarausarbeitung "Open Citation Project", Lehrstuhl 3 für Informatik, Wintersemester 2001/2002
  • Vortrag über Unifikation höherer Ordnung im Rahmen des Seminars "Deklarative Programmierung" am Lehr- und Forschungsgebiet Informatik II am 06.06.1995 (Grundlage: Snyder, Gallier, "Higher Order Unification Revisited: Complete Sets of Transformations", Journal of Symbolic Computation (1989) 8, 101-140)
  • Vortrag über Unifikation höherer Ordnung mittels Expliziter Substitutionen in der Arbeitsgemeinschaft Deklarative Programmierung am Lehr- und Forschungsgebiet Informatik II am 22.01.1997 (Grundlage: Dowek, Hardin, Kirchner: Higher Order Unification via Explicit Substitutions. Technical Report RR-2709, INRIA Lorraine, November 1995)
  • Seminarausarbeitung "Resonanzprinzipien in lokalkonvexen Räumen", Lehrstuhl A für Mathematik, Sommersemester 1994

Skripte

  • Logikprogrammierung, Prof. Dr. M. Hanus, Sommersemester 1995
  • Funktionale Programmierung, Prof. Dr. K. Indermark, Wintersemester 1995/96
  • Approximationstheorie I, Prof. Dr. R. L. Stens, Wintersemester 1995/96

Prüfungsprotokolle


Copyright © 1997-2024 Hans-Georg Eßer; Server: Debian Linux, Apache Web Server, letzte Änderung: Tuesday, 03-Sep-2013 13:38:07 CEST
Theme: Hazard Area 1.6 (modified), created by Bryan Bell, Copyright © 2000-2006 Weblogger.com.