Track:
Contents
Downloads:
Abstract:
The theory of inter-diagrammatic reasoning defines an approach to computation with diagrammatic representations that strives for generality. It provides a simple diagram syntax and a general set of operators that can be used to reason with collections of related diagrams in a wide range of domains.