Faculty of Computer Science

Research Group Theoretical Computer Science


Oberseminar: Heterogene formale Methoden


Date: 2023, August 30
Time: 15:15 p. m.
Place: G29-018
Author: Stage, Alexander
Title: Inferring Correlations Among Many-Valued Logics – An Algebraic Approach (Bachelor Thesis Defense)

Prüfer:

Erstprüfer: Prof. Dr. Till Mossakowski
Zweitprüfer: Prof. Dr. Thomas Kahle (FMA-IAG)


Back to the Oberseminar web page
Webmaster