43 citations · 211 across the 64 of their papers we have counts for
1 paper · 2 filters
Sven Linker, Jim Burton, Mateja Jamnik
Although automated reasoning with diagrams has been possible for some years, tools for diagrammatic reasoning are generally much less sophisticated than their sentential cousins. T…