Bart Bogaerts

Un cadre qui combine AFT et la théorie des catégories pour des applications de logique d'ordre supérieur.

Apprends comment les Sous-ensembles Minimaux Insatisfaisables peuvent simplifier la résolution de problèmes en informatique.