43 citations · 99 across the 15 of their papers we have counts for
1 paper · 1 filter
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…