Neuste Artikel für Diagrammatic Reasoning

Dieser Artikel hebt die Schwierigkeiten bei der Schaltkreisextraktion und dem Vergleich von Diagrammen im ZH-Kalkül hervor.