Kai Brünnler

Deep inference and symmetry in classical proofs

Uitverkocht

Kai Brünnler Deep inference and symmetry in classical proofs

4,3

Automated reasoning with analytic tableaux and related methods

Uitverkocht

Kai Brünnler Automated reasoning with analytic tableaux and related methods

4,3

Blockchain kurz & gut

Uitverkocht

Kai Brünnler Blockchain kurz & gut

4,3