703209 Term Rewriting

winter semester 2007/2008 | Last update: 01.02.2008 Place course on memo list
Department of Computer Science Department of Computer Science
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Priv.-Doz. Dr. Harald Zankl Priv.-Doz. Dr. Harald Zankl
703209
Term Rewriting
VO 3
5
weekly
annually
English
Students who have completed this module should understand the topics covered in the lecture, and be able to express and apply them. They should be able to independently acquire similar knowledge and have a basic understanding of term rewriting.
abstract rewrite systems; equational logic; term rewrite systems; termination; confluence; completion; strategies
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Mon 2007-10-08
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Fri 2007-10-12
 12.00 - 13.00 HS 10 HS 10 Barrier-free
Mon 2007-10-15
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Fri 2007-10-19
 12.00 - 13.00 HS 10 HS 10 Barrier-free
Mon 2007-10-22
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Mon 2007-10-29
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Mon 2007-11-05
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Fri 2007-11-09
 12.00 - 13.00 HS 10 HS 10 Barrier-free
Mon 2007-11-12
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Fri 2007-11-16
 12.00 - 13.00 HS 10 HS 10 Barrier-free
Mon 2007-11-19
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Fri 2007-11-23
 12.00 - 13.00 HS 10 HS 10 Barrier-free
Mon 2007-11-26
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Fri 2007-11-30
 12.00 - 13.00 HS 10 HS 10 Barrier-free
Mon 2007-12-03
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Fri 2007-12-07
 12.00 - 13.00 HS 10 HS 10 Barrier-free
Mon 2007-12-10
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Fri 2007-12-14
 12.00 - 13.00 HS 10 HS 10 Barrier-free
Mon 2008-01-07
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Fri 2008-01-11
 12.00 - 13.00 HS 10 HS 10 Barrier-free
Mon 2008-01-14
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Fri 2008-01-18
 12.00 - 13.00 HS 10 HS 10 Barrier-free
Mon 2008-01-21
 10.00 - 12.00 HS 11 HS 11 Barrier-free
Mon 2008-01-28
 10.00 - 12.00 HS 11 HS 11 Barrier-free 1st exam
Thu 2008-03-27
 09.00 - 11.00 HS 11 HS 11 Barrier-free 2nd exam