Conclusion
Summary of the Lecture.
Overview over theories, decidability results.
Hints for the exam.
conclusion.pdf
—
PDF document,
153 kB (156938 bytes)