Logic, Language, Information, and Computation Logic, Language, Information, and Computation
2024
Relationale Datenbanken Relationale Datenbanken
2019
Advances in Proof Theory Advances in Proof Theory
2016
Relationale Datenbanken Relationale Datenbanken
2016
Führen Führen
1848