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