Winter 2005/2006
Binary Decision Diagrams (bachelor seminar)
Computational Logic (bachelor project)
Computational Logic 2: Topics in Termination (master seminar)
Binary Decision Diagrams (bachelor seminar)
Computational Logic (bachelor project)
Computational Logic 2: Topics in Termination (master seminar)