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

Term Rewriting Systems

(V4 + Ü2, SS 2004)

LuFG Informatik II
Art Times/RoomInstructor
V4Di 10:00 - 11:30 AH IIIProf. Dr. Jürgen Giesl
 Fr 10:00 - 11:30 AH II 
Ü2Mi 11:45 - 13:15 AH IIProf. Dr. Jürgen Giesl, René Thiemann


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 Jan 22 15:00:28 CET 2004 / Lehr- und Forschungsgebiet Informatik II
RWTH Aachen