703209 Term Rewriting

winter semester 2010/2011 | Last update: 03.03.2011 Place course on memo list
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
written exam
see website
Group 0
Date Time Location
Mon 2010-10-04
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2010-10-08
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2010-10-11
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2010-10-15
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2010-10-18
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2010-10-22
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2010-10-25
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2010-10-29
12.15 - 13.00 HS 10 HS 10 Barrier-free
Fri 2010-11-05
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2010-11-08
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2010-11-12
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2010-11-15
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2010-11-19
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2010-11-22
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2010-11-26
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2010-11-29
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2010-12-03
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2010-12-06
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2010-12-10
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2010-12-13
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2010-12-17
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2011-01-10
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2011-01-14
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2011-01-17
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2011-01-21
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2011-01-24
09.15 - 11.00 HS 10 HS 10 Barrier-free
Fri 2011-01-28
12.15 - 13.00 HS 10 HS 10 Barrier-free
Mon 2011-01-31
08.00 - 11.00 HS 10 HS 10 Barrier-free 1st exam
Fri 2011-02-04
12.15 - 13.00 HS 10 HS 10 Barrier-free