Diese Seite auf Deutsch  Research Group Computer Science 2  Dept. of Computer Science RWTH

Term Rewriting Systems

(V4 + Ü2, WS 2006/07)

LuFG Informatik II
Art Times/RoomInstructor
V4Wed 10:00 - 11:30 AH IIProf. Dr. Jürgen Giesl
 Fri 10:00 - 11:30 AH II 
Ü2Tue 11:45 - 13:15 AH IProf. Dr. Jürgen Giesl & Assistants


Term rewriting systems are used for computations and mechanized proofs with equations. All functional programming languages are based on term rewriting systems, too. Therefore, term rewriting systems are used in many areas like mechanized program verification, specification of programs and declarative programming. The following questions will be discussed in the course.


The course is given in German.



Theoretical Computer Science, Area of Specialization

Last modified: Thu Jul 6 10:25:18 CEST 2006 / Lehr- und Forschungsgebiet Informatik II
RWTH Aachen