Suggested Thesis Topics
From International Center for Computational Logic
Suggested Thesis Topics
There is still work to do on this page
- Write an introduction here. Maybe link to a non-Javascript version of the page.
See also the list of all pages with todos. This note is only visible to logged in users.
Type of thesis
Forschungsgruppe
- A Simplified Tableau Calculus for Standpoint LTL
- Supervisor: Tim Lyon
- Available as topic for a Master's thesis
- Ill-Founded Linear Nested Sequents for LTL
- Supervisor: Tim Lyon
- Available as topic for a Master's thesis
