CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems

DOI10.1007/978-3-319-21401-6_8zbMath1465.68127OpenAlexW1468454629MaRDI QIDQ3454087

Could not fetch data.

Publication date: 2 December 2015

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-21401-6_8

Mathematics Subject Classification ID

Could not fetch data.