Topics for
Project Works and Masters Thesis
(International Masters Programme COMPUTATIONAL LOGIC)
This page presents topics for project works and masters thesis
which can be treated within the International Masters Programme
Computational Logic under the supervison of Prof.
Reichel. A detailed description, containing context,
assignment, prerequisites, references to literature, and
specific supervisors is given bellow.
In addition to the presented topics students should feel free
to suggest additional topic which they would like to deal with.
In that case students should contact Prof. Reichel in order
to discuss the suggested topic and to fix assignment if possible.
List of topics:
Topics from Dr. Hendrik Tews
