All Stories

  1. Diagrammatic reasoning for hierarchical systems

    Article • ACM Transactions on Computational Logic, October 2026, ACM (Association for Computing Machinery)

    Leo Lobski