Malte Milatz

Conference proceedings

Theses

Master’s thesis. RWTH Aachen, 2014.

Logics with Guarded Negation

Bachelor’s thesis. RWTH Aachen, 2011.