703125 Term Rewriting

winter semester 2011/2012 | Last update: 19.03.2012 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
703125
Term Rewriting
VO 2
3
weekly
annually
English
Students who completed this module understand the concept of term rewrite systems as formal computation model, which forms the basis of functional programming. They know important properties of term rewrite systems as well as methods to establish these properties.
Abstract rewrite systems; equational logic; term rewrite systems and their properties; termination; confluence; completion; strategies.
written exam
This course is highly recommended for students that wish to learn more about an important research topic in the Computational Logic research group.
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Mon 2011-10-03
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2011-10-10
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2011-10-17
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2011-10-24
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2011-10-31
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2011-11-07
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2011-11-14
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2011-11-21
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2011-11-28
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2011-12-05
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2011-12-12
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2012-01-09
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2012-01-16
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2012-01-23
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Mon 2012-01-30
 15.15 - 17.00 HS 11 HS 11 Barrier-free
Fri 2012-04-13
 12.30 - 15.15 HS 10 HS 10 Barrier-free 2nd exam