90 followers
Algorithm for the Critical Pair Analysis of Amalgamated GTs by Kristopher Born and Gabriele Täntzer https://t.co/rjFDlbWr9z #icgt16 #staf16
Algorithm for the Critical Pair Analysis of Amalgamated GTs by Kristopher Born and Gabriele Täntzer https://t.co/rjFDlbWr9z #icgt16 #staf16