CoLL

swMATH13633MaRDI QIDQ25547FDOQ25547

Author name not available (Why is that?)

Described by source

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

Cited In (4)

• CSI: new evidence -- a progress report
• Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems
• A formally verified solver for homogeneous linear Diophantine equations
• FORT 2.0

This page was built for software: CoLL