Seminar Theoretical Computer Science: "Advanced Topics in Term Rewriting"

TU Dresden | Sommersemester 2022 Seminar Theoretical Computer Science: "Advanced Topics in Term Rewriting"

This seminar covers recent topics from theoretical computer science and is held by Prof Franz Baader and PD Anni-Yasmin Turhan. In this semester we focus on topic related to term rewriting.

Zugang zum Kurs gesperrt. Bitte melden Sie sich an. Login
Informationen zum Zugang
Sie haben zu wenig Berechtigungen, um diesen Kurs zu starten.