Themen für Studienarbeiten/en: Difference between revisions
From International Center for Computational Logic
Markus Krötzsch (talk | contribs) (Die Seite wurde neu angelegt: „{{Überschrift|{{MediaWiki:Portal_label_thesis_Offen/en}}}} {{todo|Write an introduction here. Maybe link to a non-Javascript version of the page}} {{#ask: […“) |
Markus Krötzsch (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
{{Überschrift|{{MediaWiki:Portal_label_thesis_Offen/en}}}} | {{Page about Studienarbeiten | ||
|{{Überschrift|{{MediaWiki:Portal_label_thesis_Offen/en}}}} | |||
{{todo|Write an introduction here. Maybe link to a non-Javascript version of the page}} | {{todo|Write an introduction here. Maybe link to a non-Javascript version of the page}} | ||
| Line 16: | Line 17: | ||
|list view template=Abschlussarbeit anzeigen/en | |list view template=Abschlussarbeit anzeigen/en | ||
}} | }} | ||
}}<!-- Page on Studienarbeiten --> | |||
Revision as of 14:49, 15 October 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
