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



Contents

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.


Language

The course is given in German.


References


Area

Theoretical Computer Science, Area of Specialization


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