Henrik Kragh Sørensen

Henrik Kragh Sørensen


Member of:

    1. 2022
    2. 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