243 followers
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems. - Kiraku Shintani, Nao Hirokawa http://t.co/8qyvulOk87
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems. - Kiraku Shintani, Nao Hirokawa http://t.co/8qyvulOk87