Malte Milatz

Journals

Conference proceedings

Technical reports

Theses

Master’s thesis. RWTH Aachen, 2014.

Logics with Guarded Negation

Bachelor’s thesis. RWTH Aachen, 2011.