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