*Term Rewriting Systems*held in the summer semester 2014.

*Prerequisites:*Knowing the basic material from the lecture

*Term Rewriting Systems*would be helpful.

Chair of Automata Theory

Institute of Theoretical Computer Science

Faculty of Computer Science

Technische Universität Dresden

Institute of Theoretical Computer Science

Faculty of Computer Science

Technische Universität Dresden

Term rewriting systems can be used to compute in structures that are defined by equations.
They are thus an important tool in automated deduction, algebraic specification, and functional programming.
The seminar is about advanced topics that have not been captured in
the lecture *Term Rewriting Systems* held in the summer
semester 2014.

*Prerequisites:*
Knowing the basic material from the lecture *Term Rewriting Systems* would be helpful.

The students taking the seminar should get acquainted with their respective topic, write a

The topics have been assigned as follows:

Student |
Topic |
Supervisor |

Kilian Gebhardt | Gröbner Bases and Buchberger's Algorithm | Dr. Lippmann |

Maximilian Pensel | Combining Word Problems | Prof. Baader |

Andrea Condoluci | Equational Unification: Associative and Commutative Functions | Dr. Lippmann |

Florian Starke | Equational Unification: Boolean Rings | Prof. Baader |

The students are expected to stick to the following schedule.

*1st week of December:*mandatory meeting with the supervisor*5 January:*first complete version of the report due*19 January:*first complete version of the presentation slides due*5 and 6 February:*give the presentation and participate in the discussion

This course can be used in the following

- Master-Studiengang (Medien-)Informatik:
*INF-AQUA*(Allgemeine Qualifikationen) - Diplom-Studiengang Informatik:
*INF-D-940*(Berufsspezifische Schlüsselkompetenzen) - Master in Computational Logic:
*MCL-PCS*(Presentation and Communication Skills),*MCL-TCSL*(Theoretical Computer Science and Logic),*MCL-PI*(Principles of Inference) - Diplom-Studiengang Informatik (Studienordnung 2004):
*Hauptseminar*

The seminar is based on:
Franz Baader and Tobias Nipkow:
Term Rewriting and All That.
Cambridge University Press, 1998.