20 citations · 38 across the 6 of their papers we have counts for
1 paper · 1 filter
Milan Banković, Ivan Drecun, Filip Marić
In order to apply canonical labelling of graphs and isomorphism checking in interactive theorem provers, these checking algorithms must either be mechanically verified or their res…