Tim Seppelt

Questo lavoro esamina le sfide nell'usare i comonadi di gioco per rappresentare sistemi logici.

Una panoramica della logica di conteggio e del suo impatto sull'analisi dei grafi.