Henrik Kragh Sørensen

Henrik Kragh Sørensen


Member of:

  • History and Philosophy of Science

  1. Published

    Epistemic Roles of Diagrams in Short Proofs

    Sørensen, Henrik Kragh & Johansen, Mikkel Willum, 2022, Diagrammatic Representation and Inference. Springer, p. 235–242 8 p. (Lecture Notes in Computer Science, Vol. 13462).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

ID: 164255954