Bart Bogaerts

Ein Rahmen, der AFT und Kategorientheorie für Anwendungen der höheren Logik kombiniert.

Lern, wie Minimale Unzufriedene Teilmengen das Lösen von Problemen in der Informatik einfacher machen können.