Bart Bogaerts

Uma estrutura que combina AFT e Teoria das Categorias para aplicações de lógica de alta ordem.

Saiba como Subconjuntos Minimalmente Insatisfazíveis podem simplificar a resolução de problemas na ciência da computação.