Themen für Studienarbeiten/en: Difference between revisions
From International Center for Computational Logic
Markus Krötzsch (talk | contribs) No edit summary |
Sebastian Rudolph (talk | contribs) No edit summary |
||
| Line 5: | Line 5: | ||
{{#ask: [[Category:Abschlussarbeit]] [[Abschlussarbeitsstatus::Offen]] | {{#ask: [[Category:Abschlussarbeit]] [[Abschlussarbeitsstatus::Offen]] | ||
| ?Titel | | ?Titel EN | ||
| ?Betreuer | | ?Betreuer | ||
| ?Partner | | ?Partner | ||
Revision as of 20:19, 1 November 2014
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
