Matteo Acclavio

Ein Blick auf die Rolle von OPDL beim Nachdenken über gleichzeitige Programme.

Dieser Artikel untersucht nicht gut begründete Beweise und ihre Rolle in der rechnerischen Logik.

Proof-Netze geben eine strukturierte Sicht auf logische Argumente für ein besseres Verständnis.